Skip to content

feat(coq): i64 result-correspondence axioms + discharge 5 v0.8.0 admits

4bd2303
Select commit
Loading
Failed to load commit list.
Merged

feat(coq): add i64 pseudo-op result-correspondence axioms + discharge 5 v0.8.0 admits (v0.9.0 precursor) #153

feat(coq): i64 result-correspondence axioms + discharge 5 v0.8.0 admits
4bd2303
Select commit
Loading
Failed to load commit list.