31 citations · 54 across the 2 of their papers we have counts for
3 papers
cs.LO2014
Machine Learning of Coq Proof Guidance: First Experiments
Cezary Kaliszyk, Lionel Mamane, Josef Urban
We report the results of the first experiments with learning proof dependencies from the formalizations done with the Coq system. We explain the process of obtaining the dependenci…
cs.DL2011★ 31 cited
Licensing the Mizar Mathematical Library
Jesse Alama, Michael Kohlhase, Adam Naumowicz +3
The Mizar Mathematical Library (MML) is a large corpus of formalised mathematical knowledge. It has been constructed over the course of many years by a large number of authors and…
cs.DL2011★ 23 cited
Large Formal Wikis: Issues and Solutions
Jesse Alama, Kasper Brink, Lionel Mamane +1
We present several steps towards large formal mathematical wikis. The Coq proof assistant together with the CoRN repository are added to the pool of systems handled by the general…