tcosmo/Monks2006_lean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
Lean formalisation of https://ccchallenge.org/#Monks2006
2 commits 1 branch 0 tags 38 KiB
  • Lean 100%
Find a file
Exact
Tristan Stérin 85645c4a66 ini
2026-03-06 20:38:26 +01:00
Monks2006 initial 2026-03-06 20:37:57 +01:00
lakefile.toml initial 2026-03-06 20:37:57 +01:00
lean-toolchain initial 2026-03-06 20:37:57 +01:00
Monks2006.lean initial 2026-03-06 20:37:57 +01:00
SUMMARY.md ini 2026-03-06 20:38:26 +01:00