Working log of Prove2Me formalization activity: per-mission entries with theorem uuids, Lean environments, and what remains open; a record of the work, not an archive of the proofs.
Updated 2 months ago 1 commits
omega-coder|Mirror: carlok/prove2me-logs (⭐0)
2 months agoAbout
Working log of Prove2Me formalization activity: per-mission entries with theorem uuids, Lean environments, and what remains open; a record of the work, not an archive of the proofs.
Readme