Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 502acf8596 Update README with progress main oysteikt 2026-07-14 15:13:19 +09:00
• 85f81c8395 Complete ProofObjects.v oysteikt 2026-07-14 15:07:12 +09:00
• da20eadf1f Complete Logic.v oysteikt 2026-07-14 13:10:31 +09:00
• e4fac37928 Complete Tactics.v oysteikt 2026-07-08 04:28:06 +09:00
• c37ed8fc9b Complete Induction.v oysteikt 2026-07-07 15:50:17 +09:00
• 9163165bc7 Complete Poly.v oysteikt 2026-07-07 14:51:49 +09:00
• dd67c7d335 Complete Lists.v oysteikt 2026-07-07 10:59:31 +09:00
• 0e002ab32d Replace shell.nix with flake.nix oysteikt 2026-07-07 10:59:19 +09:00
• 03d1b5e74a Complete most of Induction.v oysteikt 2026-03-12 11:30:40 +09:00
• 8c0ec374e5 Complete Basics.v oysteikt 2026-03-11 16:34:29 +09:00
• 7d744693f6 Initial commit oysteikt 2026-03-10 11:17:41 +09:00