oysteikt/sf1
0
0
Fork 0
forked from oysteikt/sf1-template
Code Pull Requests Activity
11 Commits 1 Branch 0 Tags
main
Commit Graph

11 Commits

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