Formalizing Real Calculus in Coq (2002)

by Lus Cruz-Filipe
Citations:2 - 0 self