idris-ct: A Library to do Category Theory in IdrisOpen Website

Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Andre Knispel, Marco Perone, Erik Post, André Videla

Published: 01 Jan 2019, Last Modified: 26 Apr 2023ACT 2019Readers: Everyone
0 Replies