QArith: Coq formalisation of lazy rational arithmetic (2003)

Cached

Download Links

by Milad Niqui , Yves Bertot , Inria Sophia Antipolis
Venue:Types for Proofs and Programs, volume 3085 of LNCS
Citations:9 - 2 self