search

JetBrains / arend-lib

Apache License 2.0
79 stars 23 forks source link

Fix replaceSubexpressions #60

Closed part-xx closed 1 year ago