Update minimization - Githubissues

JetBrains / Arend

The Arend Proof Assistant

https://arend-lang.github.io/

Apache License 2.0

690 stars 33 forks source link

Update minimization #316

Closed knisht closed 2 years ago