Default models for simple theories

harp-project / AML-Formalization

GNU Lesser General Public License v2.1

10 stars 5 forks source link

Closed berpeti closed 7 months ago

berpeti commented 7 months ago

This pull request implements default models for the theories of definedness, sorts, and bool.