fbanados / research-howto
Notes about research.
☆8Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for research-howto
- A toolkit for enforcing logical specifications on neural networks☆80Updated this week
- ☆28Updated last year
- Implementation of Nuprl's type theory in Coq☆44Updated 3 years ago
- Datatypes as quotients of polynomial functors☆35Updated 4 years ago
- being a particular fragment of Haskell, extended to a proof system☆22Updated 2 weeks ago
- Coq Enhancement Proposals☆49Updated 2 weeks ago
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 3 years ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆56Updated 8 months ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆26Updated last week
- The Agda Universal Algebra Library (html docs available at the url below)☆29Updated 5 months ago
- A formalization of M-types in Agda☆32Updated 4 years ago
- Constructive Galois connections☆32Updated 6 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- Agda formalization of Intuitionistic Propositional Logic☆22Updated last year
- Library of Coq proof automation☆15Updated 2 years ago
- BibTeX bibliographies for proof engineering-related papers☆30Updated 5 years ago
- Emacs mode for Lean☆69Updated last year
- Generates natural language versions of Coq proofs☆51Updated 6 years ago
- ☆32Updated 2 weeks ago
- ☆35Updated 3 weeks ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆55Updated last month
- Algebraic Combinatorics in Coq☆36Updated this week
- Formalizing nbe in agda☆30Updated 12 years ago
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆33Updated 4 years ago
- Template to effortlessly build math-rich websites☆39Updated 2 years ago
- HoTT in Lean 3☆75Updated 4 years ago
- A non-interactive proof assistant using the Haskell type system☆35Updated 4 years ago
- Revised Omega-categorical Typechecker☆25Updated 2 weeks ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago