Repos
48
Stars
25
Forks
7
Top Language
Lean
Loading contributions...
Top Repositories
Repositories
48Randomized, property-based testing for Lean
This repo is the new home of Proof General
Lean mathematical components library
No description provided.
No description provided.
Lean4 work in progress repo
A Lean version manager
No description provided.
Software Foundations using the Lean Theorem Prover
No description provided.
Formal specification and verification of hardware, especially for security and privacy.
No description provided.
No description provided.
void-safe-gobo-eiffel
No description provided.
A development of homotopy theory in the Lean formal theorem prover.
No description provided.
A formal proof of the independence of the continuum hypothesis
No description provided.
Definition of a language for equational logic.
parser/viewer for olean files
Dash repo of user contributed docsets
Recipes and build machinery for the biggest Emacs package repo
No description provided.
No description provided.
monoidal categories in the Lean theorem prover
No description provided.
Umbrella project for short, swimlane and various TLA+ tools (parser, evaluator)
No description provided.
Emacs mode for Lean