Bolton Bailey's repositories
formal-snarks-project
A formal verification of Linear PCP SNARKs.
risc0-metamath
Use RISC Zero to check Metamath
aesop
White-box automation for Lean 4
batteries
The "batteries included" extended library for the Lean programming language and theorem prover
community
Voice command set for Talon, community-supported.
compfiles
Catalog Of Math Problems Formalized In Lean
leanprover-community-blog
Source for the community blog
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
manifold
Manifold Markets: A market for every question
mathlib4-all-tactics
Markdown file of the list and explanations of all mathlib4 tactics
ml-for-proofs
An open bibliography of machine learning for formal proof papers
PrimeNumberTheoremAnd
blueprint for prime number theorem and more
qtee
Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.
rust-metamath
A Metamath verifier written in rust
sup-lean
Attempt at importing multiple Lean projects
tree-sitter-lean
Experimental tree-sitter parser for the Lean (4) Theorem Prover
vscode-python
Python extension for Visual Studio Code
yatima
A zero-knowledge Lean4 compiler and kernel