mirek/dqrat-lean-checker
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
AI-coded (Claude) Lean reimplementation of the dqrat-checker: https://github.com/peitl/dqrat-check/
14 commits 1 branch 0 tags 252 KiB
  • Lean 100%
Find a file
Exact
Mirek Olšák 2e290e65c8 move invariants from Correct to Sound
2026-03-30 22:43:41 +02:00
DqratLean move invariants from Correct to Sound 2026-03-30 22:43:41 +02:00
CLAUDE.md continue proving soundness (broken code) 2026-03-27 23:15:30 +01:00
DqratLean.lean first commit 2026-03-19 11:25:49 +01:00
lake-manifest.json first commit 2026-03-19 11:25:49 +01:00
lakefile.toml first commit 2026-03-19 11:25:49 +01:00
lean-toolchain prove termination of the procedures without fuel 2026-03-21 11:23:38 +01:00
Main.lean code clean-up 2026-03-28 15:28:42 +01:00
MonadTutor.lean proving soundness of unit propagation 2026-03-27 17:14:27 +01:00
README.md first commit 2026-03-19 11:25:49 +01:00

README.md

dqrat-lean