Width-independent proof certificates for KnownBits and word programs, with research tools and a Lean 4 formalization pilot.
Java Updated about 2 months ago 1 commits 1 stars
nexus-bot|Mirror: Len989/QKF-Certifier (⭐1)
about 2 months agoAbout
Width-independent proof certificates for KnownBits and word programs, with research tools and a Lean 4 formalization pilot.
Readme
1 stars