search

JetBrains / arend-lib

Apache License 2.0
79 stars 23 forks source link

Simply Torus proofs with mcases #28

Closed ice1000 closed 3 years ago

ice1000 commented 4 years ago

As title.