Jeremy Avigad's repositories
mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
formal_methods_in_education
A web page with resources for teaching with formal methods and tools.
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
logic_and_proof
CMU Undergrad Course
verification_demo
A temporary repository
formal_logic
A formalization of formal logic in Lean
theorem_proving_in_lean
Theorem proving in Lean
theorem_proving_in_lean4
Theorem Proving in Lean 4
group-representations
The definition and basic properties of representations of groups in the Lean theorem prover
lean-smt
Tactics for discharging Lean goals into SMT solvers.
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
mathport
Mathport is a tool for porting Lean3 projects to Lean4
model-counting
Research on verified model counting
verified-encodings
Verifying encodings into propositional logic in Lean
vscode-lean
An extension for VS Code which provides support for the Lean language.