Skip to content

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

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

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

Commits

Commits on Aug 9, 2026