Skip to content

Construct DatatypeRef and DatatypeSortRef for datatype terms and sorts - #120

Merged
daniel-larraz merged 1 commit into
cvc5:mainfrom
daniel-larraz:datatype-refs
Aug 13, 2026
Merged

Construct DatatypeRef and DatatypeSortRef for datatype terms and sorts#120
daniel-larraz merged 1 commit into
cvc5:mainfrom
daniel-larraz:datatype-refs

Construct DatatypeRef and DatatypeSortRef for datatypes

7a5c952
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.