writing-lean-proofs
trailofbits947 installs
Readable Lean proofs, built on clear statements.
Recent revisions are kept. Restoring one creates a new revision.
Readable Lean proofs, built on clear statements.
Recent revisions are kept. Restoring one creates a new revision.