1 search result for "tag:"date:2025-01-27""

Showing 1 - 1

coq-corn

No documentation

The Coq Constructive Repository at Nijmegen

category:Mathematics/Algebra category:Mathematics/Real Calculus and Topology category:Mathematics/Exact Real computation keyword:constructive mathematics keyword:algebra keyword:real calculus keyword:real numbers keyword:Fundamental Theorem of Algebra logpath:CoRN date:2025-01-27

Evgeny Makarov Robbert Krebbers Eelis van der Weegen Bas Spitters Jelle Herold et al.

8.20.0

GPL-2.0

Used by 0 other packages

01 Feb 2025