See what the GitHub community is most excited about today.
Cosette is an automated SQL solver.
Bug-free machine learning on stochastic computation graphs
Simple verification of Rust programs via functional purification
Lean mathematical components library
Lean Library currently studying for a degree at Imperial College
HoTT in Lean 3
Perfectoid spaces in the Lean formal theorem prover.
A formal proof of the independence of the continuum hypothesis
A quick reference for mapping Coq tactics to Lean tactics
An experimental category theory library for Lean
This project contains various supporting libraries for lean to reason about protocols.
Formal verification of parts of the Stacks Project in Lean
Formalism and proofs for esverify
Schemes in Lean
A place to put our 2018 Xena project UROP thoughts and programs.
CS2012 UVa CS Discrete Math Spring 2018
Datatypes as quotients of polynomial functors
Ground Zero: cubical base library for Lean 3
super tiny implementation of higher-order logic proof assistant in lean
This may become a formalization of smooth manifolds in lean
Formally verified implementation of Alive in Lean
IRC-bot written in Lean (https://leanprover.github.io/)
Repository for ANU summer students learning Lean