LLICA Coq implementation of the pheno theory of LCG
On October 3, 2017
Lead by Jordan Needle
Lead by Jordan Needle
Jordan says:
I’ll be talking about a Coq implementation of the pheno theory of LCG, including attempting to integrate the phenominators from Chris Worth’s dissertation.
