Parmesan
Semantic searching in category theory
- Topos maintainer: Valeria de Paiva
- Papers: Parmesan: mathematical concept extraction for education (2023), Extracting Mathematical Concepts from Text (2022)
- Link: http://www.jacobcollard.com/parmesan2/
Semantic searching in category theory