Bitcode ($BTD) is an auditable protocol for technical knowledge.
-
Updated
Jul 16, 2026 - TypeScript
#
proofs-as-programs
Here are 3 public repositories matching this topic...
-
Updated
Sep 26, 2024 - Scheme
Notes and Learning Material for the course "Proofs, Programs and Types" taught at IIT Palakkad
functional-programming coq theorem-proving formal-methods formal-verification proofs-as-programs rocq rocq-prover
-
Updated
Apr 30, 2025 - Coq
Improve this page
Add a description, image, and links to the proofs-as-programs topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the proofs-as-programs topic, visit your repo's landing page and select "manage topics."