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/agent-communication/proof.pdf
T
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

287 KiB
Raw Permalink History

View Raw
Reference in New Issue View Git Blame Copy Permalink