Why build Proof-Transport?
Formal proofs often “rot” when proof assistant kernels evolve (e.g. disabling Cut, tactic changes).
This forces re-verification at high cost.
Proof-Transport provides continuity: it re-compiles old proofs into new kernels and issues stability certificates.
New open-source release: Proof-Transport
Preserve formal proofs across kernel evolution (e.g. when Cut is disabled).
✔️ CI pipeline + schemas
✔️ v0.1.0 release
✔️ Live demo explorer
Repo: https://github.com/sequentlabs/proof-transport
Demo: https://sequentlabs.github.io/proof-transport/
