search

harp-project / AML-Formalization

GNU Lesser General Public License v2.1
10 stars 5 forks source link

Extend `mlSimpl` to handle sorted quantification #407

Open berpeti opened 1 year ago

berpeti commented 1 year ago

Merge mlSimpl with mlSortedSimpl.

berpeti commented 1 year ago

Partially solved by #409.