search

UniFormal / MMT

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

Migrate to Scala 3 #571

Open tkw1536 opened 2 years ago