Mario Carneiro's repositories
lean-cache
Lean 4 build cache management tool
digama0.github.io
My personal website
lean4checker
Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.
verbose-lean4
Natural language tactics to teach mathematics using Lean 4
LeanColls
WIP collections library for Lean 4
Apache-2.0000
Apache-2.0000
Language:PascalGPL-3.0000
rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant