search

harp-project / AML-Formalization

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

Add `mlConj` with multiple parameters, improve rewrites #404

Closed berpeti closed 1 year ago

berpeti commented 1 year ago

This PR closes #397, #357.