Skip to content

Support defs in axiom checking and improve error messages#6

Open
JasonGross wants to merge 3 commits into
leanprover:masterfrom
JasonGross:allow-def
Open

Support defs in axiom checking and improve error messages#6
JasonGross wants to merge 3 commits into
leanprover:masterfrom
JasonGross:allow-def

Update Comparator/Axioms.lean

5a0a43a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs