Contact
Privacy
DMCA
Robuta
https://arxiv.org/abs/1106.3448v3
[1106.3448v3] Type classes for efficient exact real arithmetic in Coq
Abstract page for arXiv paper 1106.3448v3: Type classes for efficient exact real arithmetic in Coq
type
classes