Extend to support all logics (Typechecker) #36
Description
This mostly means to make the type-checker capable of dealing with SMT-LIB files of all logics. It is already implemented but not yet robust enough.
{{ message }}
This mostly means to make the type-checker capable of dealing with SMT-LIB files of all logics. It is already implemented but not yet robust enough.