Formalizing real calculus in Coq (2002)

by L Cruz-Filipe
Venue:Theorem Proving in Higher Order Logics, Hampton VA, NASA Conference Proceedings. NASA