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

Jesse Alama, Lionel Mamane, Josef Urban

Browse the full AISC paper archive.