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 about 2 hours ago 1 commits
omega-coder|Mirror: carlok/prove2me-logs (⭐0)
about 2 hours 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