Theorem Proving in Lean 3 (outdated) — Theorem Proving in Lean 3 (outdated) 3.23.0 documentation

leanprover.github.io

saved by: 0 people
related read on: Correctness — the paradigm for sustainable software devel... from the discussion