Lionel Mamane

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Machine Learning Approaches

Automatically Extracted

Top Venues

AISC/MKM/Calculemus

Publications

Cezary Kaliszyk, Lionel Mamane, Josef Urban
Machine Learning of Coq Proof Guidance: First Experiments. CoRR (2014)
Cezary Kaliszyk, Lionel Mamane, Josef Urban
Machine Learning of Coq Proof Guidance: First Experiments. SCSS (2014)
Jesse Alama, Lionel Mamane, Josef Urban
Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar. AISC/MKM/Calculemus (2012)
Jesse Alama, Lionel Mamane, Josef Urban
Dependencies in Formal Mathematics CoRR (2011)
Jesse Alama, Kasper Brink, Lionel Mamane, Josef Urban
Large Formal Wikis: Issues and Solutions. Calculemus/MKM (2011)
Jesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki, Josef Urban
Licensing the Mizar Mathematical Library. Calculemus/MKM (2011)
Jesse Alama, Kasper Brink, Lionel Mamane, Josef Urban
Large Formal Wikis: Issues and Solutions CoRR (2011)
Jesse Alama, Michael Kohlhase, Adam Naumowicz, Piotr Rudnicki, Josef Urban, Lionel Mamane
Licensing the Mizar Mathematical Library CoRR (2011)