benediktahrens / CT4PLinks
☆34Updated 7 months ago
Alternatives and similar repositories for CT4P
Users that are interested in CT4P are comparing it to the libraries listed below
Sorting:
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- A work-in-progress core language for Agda, in Agda