search

JetBrains / arend-lib

Apache License 2.0
79 stars 23 forks source link

Representation #70

Closed s3midetnov closed 4 weeks ago

s3midetnov commented 3 months ago

added representation category, schur's lemma