Lionel Mamane

According to our database, Lionel Mamane authored at least 5 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Machine Learning of Coq Proof Guidance: First Experiments.

Cezary Kaliszyk, Lionel Mamane, Josef Urban

Proceedings of the 6th International Symposium on Symbolic Computation in Software Science, 2014

2012

Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar.

Jesse Alama, Lionel Mamane, Josef Urban

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

Dependencies in Formal Mathematics

Jesse Alama, Lionel Mamane, Josef Urban

CoRR, 2011

Licensing the Mizar Mathematical Library.

Jesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki, Josef Urban

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

Large Formal Wikis: Issues and Solutions.

Jesse Alama, Kasper Brink, Lionel Mamane, Josef Urban

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011