Skip to content

Fix QuantifierRef.sort to return the correct sort for lambda expressions - #115

Open
msakai wants to merge 1 commit into
cvc5:mainfrom
msakai:fix-lambda-sort
Open

Fix QuantifierRef.sort to return the correct sort for lambda expressions#115
msakai wants to merge 1 commit into
cvc5:mainfrom
msakai:fix-lambda-sort

fix QuantifierRef.sort to return the correct sort for lambda expressions

8a1fd13
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs