Cartographer: Tool for String Diagrammatic Reasoning - discu.eu

Hacker News

Cartographer: Tool for String Diagrammatic Reasoning http://cartographer.id 12 comments 26/1/2020

Linking pages

GitHub - statebox/awesome-applied-ct: ACT community resources https://github.com/statebox/awesome-applied-category-theory 2 comments

Related searches:

Search whole site: site:cartographer.id

Search title: Cartographer: Tool for String Diagrammatic Reasoning

See how to search.

Submit link to: