#

proofs-as-programs

Here are 3 public repositories matching this topic...

prabhat-suresh / ProofsProgramsAndTypes

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

bitcode-legacy

advancedengineeredsoftware / bitcode-legacy

Bitcode ($BTD) is an auditable protocol for technical knowledge.

crypto ai training-data generative-ai proofs-as-programs

Updated Oct 19, 2026
TypeScript

acsd-tu-chemnitz / conformlog

proof-assistant lyapunov-stability constructive-reals proofs-as-programs

Updated Sep 26, 2024
Scheme

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."