jaalonso / Lecturas_GLCLinks
Readings on computational logic, interactive theorem proving and functional programming.
☆83Updated this week
Alternatives and similar repositories for Lecturas_GLC
Users that are interested in Lecturas_GLC are comparing it to the libraries listed below
Sorting:
- Selected Papers of Dana S. Scott☆168Updated last year
- A toolkit for enforcing logical specifications on neural networks☆117Updated this week
- Coq course at Chalmers CSE☆38Updated 8 years ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆50Updated 3 years ago
- High level commands to declare a hierarchy based on packed classes☆103Updated 2 weeks ago
- Logic and Mechanized Reasoning☆109Updated 3 weeks ago
- An experimental category theory library for Lean☆50Updated 2 years ago
- ☆92Updated 7 months ago
- Lecture notes on realizability☆74Updated 8 months ago
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Updated 3 weeks ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆51Updated last year
- ☆35Updated last month
- The mathematical study of type theories, in univalent foundations☆117Updated 9 months ago
- The Agda Universal Algebra Library (html docs available at the url below)☆38Updated 11 months ago
- Effective Algebraic Topology in Haskell☆90Updated last year
- A library of mechanised undecidability proofs in the Coq proof assistant.☆125Updated last week
- Certified Machine Learning☆41Updated 4 years ago
- A tutorial on how Agda infers things☆63Updated 4 months ago
- Mathematical Components (the Book)☆148Updated last month
- HoTT in Lean 3☆82Updated 5 years ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆71Updated last year
- Coq plugin embedding elpi☆177Updated last week
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.☆82Updated 4 years ago
- Course on Metaprogramming☆72Updated 4 months ago
- Abstract binding trees (abstract syntax trees plus binders), as a library in Agda☆78Updated 2 months ago
- Benchmarks for capture-avoiding substitution☆120Updated 5 months ago
- maze game encoded in Lean 4 syntax☆65Updated 4 months ago
- Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]☆115Updated last month
- PhD course on Functional Programming and Climate Impact Research☆50Updated 2 months ago
- CMU Undergrad Course☆95Updated 2 years ago