search

JetBrains / arend-lib

Apache License 2.0
79 stars 23 forks source link

Representation #68

Closed s3midetnov closed 3 months ago

s3midetnov commented 3 months ago

basic representation theory