search

UniFormal / MMT

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

Merge Michael Banken's Theory Intersection code #557

Closed ComFreek closed 3 years ago

ComFreek commented 3 years ago

This PR exists to document and archive this merge.