Skip to content

Guard choose axioms and support sequence extensional equality - #21

Closed
yashmehta00 wants to merge 2 commits into
strata-org:mainfrom
yashmehta00:main
Closed

Guard choose axioms and support sequence extensional equality#21
yashmehta00 wants to merge 2 commits into
strata-org:mainfrom
yashmehta00:main

function form: existence guard added to emitted axiom

2e46dbe
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Run lint checks
succeeded Oct 1, 2026 in 8s