Lean Theorem Prover
☆19Jun 21, 2018Updated 7 years ago
Alternatives and similar repositories for lean
Users that are interested in lean are comparing it to the libraries listed below
Sorting:
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆20Sep 20, 2021Updated 4 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago
- Experiments with effect systems☆12Apr 18, 2016Updated 9 years ago
- being a slightly rethought version of the Frank implementation☆23Feb 9, 2016Updated 10 years ago
- N2O: Application Server☆13Nov 22, 2022Updated 3 years ago
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Dec 10, 2017Updated 8 years ago
- LLVM support for the lean theorem prover☆53Sep 14, 2021Updated 4 years ago
- This is the place where (more or less) stable releases of my RW library will be published.☆16Jun 4, 2020Updated 5 years ago
- Base library for HoTT in Agda☆39Apr 2, 2019Updated 6 years ago
- A dependently typed type checker for a TT with intervals☆24Feb 6, 2020Updated 6 years ago
- Relative Monad Library for Agda☆24May 29, 2019Updated 6 years ago
- A Dependently Typed Programming Language☆26Jul 24, 2020Updated 5 years ago
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆24Aug 14, 2023Updated 2 years ago
- Multimode simple type theory as an Agda library.☆23Sep 18, 2024Updated last year
- ☆20Aug 13, 2024Updated last year
- being the materials for "Datatypes of Datatypes" at the Summer School on Generic and Effectful Programming, Oxford☆20Jul 10, 2015Updated 10 years ago
- Formalizing nbe in agda☆32Nov 22, 2012Updated 13 years ago
- Solana Airdrop Faucet: A simple web application that allows users to receive free SOL tokens on the Solana Devnet. Built with Next.js, th…☆11Sep 22, 2024Updated last year
- System F-omega normalization by hereditary substitution in Agda☆62Aug 31, 2019Updated 6 years ago
- Dependently typed Algorithm M and friends☆26Jun 2, 2018Updated 7 years ago
- Nightly builds☆23Updated this week
- A heuristic procedure for proving inequalities☆34Sep 4, 2018Updated 7 years ago
- ICFP Bingo 2017 (Idris edition)☆30Aug 22, 2019Updated 6 years ago
- 💠 HL7: FHIR Application Server ISO/HL7 27931:2009☆11Feb 17, 2026Updated 2 weeks ago
- An implementation of Functional Reactive Programming☆41Mar 2, 2015Updated 11 years ago
- Mtac in Agda☆29May 4, 2021Updated 4 years ago
- A library for doing generic programming in Agda☆36Jan 27, 2021Updated 5 years ago
- Morte IDE☆29Apr 3, 2025Updated 11 months ago
- The Spire Programming Language☆59Oct 23, 2014Updated 11 years ago
- IO using sized types and copatterns☆36Apr 14, 2021Updated 4 years ago
- Chaucha functions for usage with Github Actions☆11Sep 18, 2020Updated 5 years ago
- A series of implementations of a simple functional programming language.☆30Jan 4, 2016Updated 10 years ago
- A best-first-search theorem prover implemented in Isabelle☆36Jul 18, 2022Updated 3 years ago
- A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclip…☆15Jul 10, 2014Updated 11 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆14Jan 21, 2017Updated 9 years ago
- ☆10Mar 18, 2020Updated 5 years ago
- プログラミング de 落書きで公開しているコードを共有します☆24Updated this week
- Create immutable infrastructure with IaC technologies at AWS with Terraform and Serverless Framework ☁️ The main services used are Dynamo…☆10Jan 3, 2021Updated 5 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago