Experience Implementing a Performant Category-Theory Library in Coq (2014) User CKsTechnologyNews, in the CK's Technology News provides Tech, Security & Privacy related News. subreddit, 23 Nov 2021
Experience Implementing a Performant Category-Theory Library in Coq User gallais, in the Coq subreddit, 31 Jan 2014