-
-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Proof obligations: remaining work after TG-3/5/6/7/8 (2026-06-14)
choreRoutine maintenance with no behaviour changeRoutine maintenance with no behaviour changemeta:umbrellaParent issue aggregating child issuesParent issue aggregating child issuesproofsFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtStatus: Open.#51 In hyperpolymath/tangle;TG-6: WASM compilation preserves semantics (compiler-correctness theorem)
bindingsABI, FFI, WASM, and cross-language interop surfacesABI, FFI, WASM, and cross-language interop surfacesenhancementNew capability or improvement to existing behaviourNew capability or improvement to existing behaviourproofsFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtFormal verification: Agda, Coq, Idris, Lean, Z3/SMT, axiom debtStatus: Open.#27 In hyperpolymath/tangle;