Skip to content

Experience Implementing a Performant Category-Theory Library in Coq

2014-01-01

Full analysis loading… Code implementations, benchmark data, and reproduction guides are being assembled. Please check back shortly.

Browse all papers

Need human evaluators for your AI research? Scale annotation with expert AI Trainers.