Consider switching to Xsemantics

gts-morpher / gts_morpher

Tool for building GTS Morphisms and Amalgamations

MIT License

4 stars 0 forks source link

Open szschaler opened 5 years ago

szschaler commented 5 years ago

This may make the various derivation rules clearer. Xsemantics is available here.