Creates mathematical diagrams with Penrose by defining types, relations and visual representation rules from natural language.
Setup
This project documents no single launch command; follow its repository instructions.
bmorphism
Creates mathematical diagrams with Penrose by defining types, relations and visual representation rules from natural language.
This project documents no single launch command; follow its repository instructions.