Add one prelude axiom to be identified in axiom-usage-info#1397
Merged
utaal merged 7 commits intoverus-lang:mainfrom principled-systems:prelude-unsat-core-mergeJan 22, 2025
+25-11
Commits
Commits on Jan 22, 2025
- committed
- committed
- committed
- committed
- committed
- committed