search

JetBrains / Arend

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

Don't compute Prop fields of sigma types by default #325

Closed knisht closed 2 years ago

ice1000 commented 2 years ago

is this to fix 'the' bug?

knisht commented 2 years ago

It is more of a feature