Tags · Paper-Proof/paperproof

v2.7.0

extension - publish v2.7.0

lakefile.lean - add the commented-out `lean_exe terminal` for static …

…output

README.md - since we only support the latest Lean versions now, only …

…mention `lakefile.toml` now

extension - publish 2.0.0

extension - publish v1.9.0

extension - publish v1.7.0

extension - publish v1.6.5

extension - publish v1.6.4

`lake-manifest.json` - change LeanReservoir title from "examples" to …

…"Paperproof"

(See leanprover/reservoir#48)

Update README.md

PreviousNext