Follow
Experience Report: Smuggling a Little Bit of Coq Inside a CAD Development Context (Extended Abstract). (arXiv:2007.00695v1 [cs.PL]) http://arxiv.org/abs/2007.00695
Experience Report: Smuggling a Little Bit of Coq Inside a CAD Development Context (Extended Abstract). (arXiv:2007.00695v1 [cs.PL]) http://arxiv.org/abs/2007.00695