Description
A concise exchange diagram editor for editing exchange diagrams in category theory. Has an efficient and intuitive interface for creating complex exchange and paste diagrams.
Screenshots
App Information
A concise exchange diagram editor for editing exchange diagrams in category theory. Has an efficient and intuitive interface for creating complex exchange and paste diagrams.