Detail

Publication date: 01/01/2012

Dependencies in formal mathematics: Applications and extraction for Coq and Mizar

Authors

Jesse Alama, Johan Jeuring, Lionel Mamane, John A Campbell, Josef Urban, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel,

Publisher Springer
Series Lecture Notes in Computer Science
Volume 7362
Publisher Springer
Series Lecture Notes in Computer Science
Volume 7362