An executable finite-domain Julia companion to the Agda echo-types library, for running echo/residue and Landauer/Bennett constructions on small models and finding counterexamples. It is a model and test aid, not a proof checker.
open-source reproducible-research computational-science julia-package finite-model scientific-software research-software hyperpolymath epistemic-infrastructure epistemic-computing echo-types veridical-computing equivalence-aware-computing typed-provenance
-
Updated
Oct 1, 2026 - Just