search

JetBrains / Arend

The Arend Proof Assistant
https://arend-lang.github.io/
Apache License 2.0
694 stars 33 forks source link

Normalize core expressions to RNF before minimization #314

Closed knisht closed 3 years ago

knisht commented 3 years ago

This way coercions of \classifying fields will be explicit.