Package
Collection of snippets for the Lean prover
Documentation
Snippet collection for the Lean theorem prover.
Requires
Consumers
No reverse dependencies recorded.