Skip to content

docs(proof-debt): add canonical AXIOM: annotations to SafetyLemmas.idr

122ac5c
Select commit
Loading
Failed to load commit list.
Merged

docs(proof-debt): add canonical AXIOM: annotations to SafetyLemmas.idr #163

docs(proof-debt): add canonical AXIOM: annotations to SafetyLemmas.idr
122ac5c
Select commit
Loading
Failed to load commit list.