Formalizing universal algebra with dependent and inductive types¶
JMM Special Session on Algebras and Algorithms
William DeMeo
Denver, Colorado, Wed 15 Jan 2020
(For the latest updates, please visit ualib.org.)
JMM Special Session on Algebras and Algorithms
William DeMeo
Denver, Colorado, Wed 15 Jan 2020
(For the latest updates, please visit ualib.org.)