Projects in Awesome Lists tagged with interactive-proofs
A curated list of projects in awesome lists tagged with interactive-proofs .
https://github.com/spamegg1/spamegg1-thm-prov-lean4
Working through Theorem Proving in Lean4
dependent-types formal-verification interactive-proofs lean lean4 math proof theorem
Last synced: 29 Oct 2025
https://github.com/sunsided/coq-playground
Toying around with the Coq Proof Assistant
Last synced: 22 Jan 2026
https://github.com/sunsided/lean4-playground
Toying around with Microsoft Lean 4
Last synced: 29 Apr 2026
https://github.com/systemslibrarian/crypto-lab-zk-proof-lab
Browser-based zero-knowledge proof lab — six exhibits from Ali Baba cave to zk-SNARK. Real Schnorr arithmetic, SHA-256 commitments, transcript replay, and deterministic scenario presets. No framework, no backend.
commitment-schemes crypto-compare fiat-shamir interactive-proofs schnorr-protocol sha256 webcrypto zero-knowledge-proofs zkp
Last synced: 09 Jun 2026
