tcosmo/BohmSontacchi1978_lean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
3 commits 1 branch 0 tags 394 KiB
  • Lean 100%
Find a file
Exact
Tristan Stérin dddd3a4217 ok
2026-03-06 20:39:02 +01:00
BohmSontacchi Opus 4.6 formalisation 2026-02-23 22:51:39 +01:00
.gitignore Opus 4.6 formalisation 2026-02-23 22:51:39 +01:00
BohmSontacchi.lean Opus 4.6 formalisation 2026-02-23 22:51:39 +01:00
BohmSontacchi1978.pdf Opus 4.6 formalisation 2026-02-23 22:51:39 +01:00
lake-manifest.json Opus 4.6 formalisation 2026-02-23 22:51:39 +01:00
lakefile.toml Opus 4.6 formalisation 2026-02-23 22:51:39 +01:00
lean-toolchain Opus 4.6 formalisation 2026-02-23 22:51:39 +01:00
README.md ok 2026-03-06 20:39:02 +01:00
SUMMARY.md Opus 4.6 formalisation 2026-02-23 22:51:39 +01:00

README.md

BohmSontacchi1978_lean

Opus4.6 autoformalisation