zap-proto/proofs
2
0
Fork 0
mirror of https://github.com/zap-proto/proofs.git synced 2026-10-30 15:04:11 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
main
proofs/rns-identity-binding
T
History
zeekay 6cd94a29f7 Initial: 8 formal proofs accompanying papers/ 
Each proof is a standalone LaTeX document with theorems, lemmas, and
explicit advantage bounds / reductions. All compile under TeX Live 2025.
2026-05-06 12:50:48 -07:00
..
Makefile
Initial: 8 formal proofs accompanying papers/
2026-05-06 12:50:48 -07:00
proof.pdf
Initial: 8 formal proofs accompanying papers/
2026-05-06 12:50:48 -07:00
proof.tex
Initial: 8 formal proofs accompanying papers/
2026-05-06 12:50:48 -07:00