search

harp-project / AML-Formalization

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

Generalize `mlRewriteBy` with the new deduction theorem #406

Open berpeti opened 1 year ago