tcosmo/Knight2026_lean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
Lean4 auto formalisation (Opus4.6) of https://ccchallenge.org/#Knight2026
2 commits 1 branch 0 tags 49 KiB
  • Lean 100%
Find a file
Exact
Tristan Stérin a535cd1db4
 Update paper title in SUMMARY.md
2026-03-07 09:01:13 +01:00
Knight2026 ini 2026-03-06 22:07:02 +01:00
Knight2026.lean ini 2026-03-06 22:07:02 +01:00
lake-manifest.json ini 2026-03-06 22:07:02 +01:00
lakefile.toml ini 2026-03-06 22:07:02 +01:00
lean-toolchain ini 2026-03-06 22:07:02 +01:00
SUMMARY.md Update paper title in SUMMARY.md 2026-03-07 09:01:13 +01:00