Dan Christensen, 31 Mar 2014 My paper "Experience Implementing a Performant Category-Theory Library in Coq" (http://arxiv.org/abs... My paper "Experience…
Jason Gross, 23 Mar 2014 My paper "Experience Implementing a Performant Category-Theory Library in Coq" (http://arxiv.org/abs... My paper "Experience…