KAMP case study - Githubissues

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

Based on files etc provided by Robert Heinrich. See https://github.kcl.ac.uk/gts-families/kamp for details