abhamra/qrat-lean
1
0
Fork 0
mirror of https://github.com/abhamra/qrat-lean synced 2026-11-12 00:50:58 -08:00
Code Issues Projects Releases Packages Wiki Activity
No description
5 commits 1 branch 0 tags 50 KiB
  • Lean 100%
Find a file
Exact
Arjun Bhamra 1324de1934 added notes to basic.lean for {l, q}rat things!
2025-09-11 11:52:49 +01:00
.github/workflows relocated things 2025-09-11 10:07:25 +01:00
QratLean added notes to basic.lean for {l, q}rat things! 2025-09-11 11:52:49 +01:00
.gitignore relocated things 2025-09-11 10:07:25 +01:00
lake-manifest.json twiddled with lean files, updated manifest (see if this fixes CI) 2025-09-11 10:25:23 +01:00
lakefile.toml relocated things 2025-09-11 10:07:25 +01:00
lean-toolchain relocated things 2025-09-11 10:07:25 +01:00
LICENSE Initial commit 2025-09-11 09:39:25 +01:00
Main.lean twiddled with lean files, updated manifest (see if this fixes CI) 2025-09-11 10:25:23 +01:00
QratLean.lean relocated things 2025-09-11 10:07:25 +01:00
README.md updated readme, added qrat-lean project file setup 2025-09-11 10:01:58 +01:00

README.md

qrat-lean

We are aiming to create a verified QRAT proof checker in Lean; to our knowledge, this would be the first such verified checker.

Stay tuned!