search

UniFormal / MMT

The MMT Language and System
https://uniformal.github.io/
Other
68 stars 22 forks source link

Update Fact.scala #576

Closed ki7077 closed 1 year ago

ki7077 commented 1 year ago

added a bug fix so that more terms can be correctly simplified.