Work in progress: evidence-indexed residual types; checked minimal Agda core, Echo/Epistemic comparisons and a separate finite explorer.
javascript open-source dependent-types reproducible-research theorem-proving agda formal-methods formal-verification proof-engineering research-software hyperpolymath epistemic-infrastructure machine-checked-proofs epistemic-computing echo-types veridical-computing equivalence-aware-computing typed-provenance loss-taxonomy graded-transformations
-
Updated
Nov 10, 2026 - Agda