Continuity-preserving software transitions: a language research prototype with Agda and Lean proofs and an Elixir reference runner.
open-source elixir reproducible-research beam theorem-proving agda software-evolution fault-injection formal-verification runtime-system proof-engineering research-software lean4 hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance hot-code-upgrade
-
Updated
Oct 8, 2026 - Elixir