research
∙
04/12/2021
Online Machine Learning Techniques for Coq: A Comparison
We present a comparison of several online machine learning techniques fo...
share
research
∙
07/31/2020
The Tactician (extended version): A Seamless, Interactive Tactic Learner and Prover for Coq
We present Tactician, a tactic learner and prover for the Coq Proof Assi...
research
∙
03/20/2020
