A Document-Oriented Coq Plugin for TEXmacs (2006)

Cached

Download Links

by Herman Geuvers , Lionel Elie Mamane
Citations:5 - 4 self