4 search results for "author:"Freek Wiedijk""

Showing 1 - 4
  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-08-28
    Evgeny Makarov Robbert Krebbers Eelis van der Weegen Bas Spitters Jelle Herold et al.
    9.0.0
    GPL-2.0
    Used by 0 other packages
    29 Aug 2025
  2. coq-geocoq

    No documentation

    A formalization of foundations of geometry in Coq
    category:Mathematics/Geometry/General keyword:geometry keyword:neutral geometry keyword:Euclidean geometry keyword:hyperbolic geometry keyword:foundations keyword:Tarski keyword:Hilbert keyword:Euclid keyword:Elements keyword:Pappus keyword:Desargues keyword:arithmetization keyword:Pythagoras keyword:Thales' intercept theorem keyword:continuity keyword:ruler and compass keyword:parallel postulates keyword:model keyword:counter-model keyword:Cartesian space keyword:automation date:2024-03-24
    Michael Beeson <profbeeson@gmail.com> Gabriel Braun <gabriel.braun@unistra.fr> Pierre Boutry <contact@pierre.boutry.fr> Cyril Cohen <cyril.cohen@inria.fr> Charly Gries <charly.gries@etu.unistra.fr> et al.
    2.5.0
    LGPL-3.0-only
    Used by 0 other packages
    25 Mar 2024
  3. coq-geocoq-elements

    No documentation

    A formalization of foundations of geometry in Coq
    category:Mathematics/Geometry/General keyword:geometry keyword:neutral geometry keyword:Euclidean geometry keyword:foundations keyword:Euclid keyword:Elements date:2024-03-24
    Michael Beeson <profbeeson@gmail.com> Julien Narboux <narboux@unistra.fr> Freek Wiedijk <freek@cs.ru.nl>
    2.5.0
    LGPL-3.0-only
    Used by 1 other packages
    25 Mar 2024
  4. coq-ptsf

    No documentation

    Explicit Convertibility Proofs in Pure Type Systems
    keyword: pure type systems keyword: judgmental equality keyword: explicit equality proofs keyword: proof relevance category: Mathematics/Logic/Type theory
    Floris van Doorn <fpv@andrew.cmu.edu> [http://www.andrew.cmu.edu/user/fpv/] Herman Geuvers <herman@cs.ru.nl> [http://www.cs.ru.nl/~herman/] Freek Wiedijk <freek@cs.ru.nl> [http://www.cs.ru.nl/~freek/]
    8.10.0
    BSD
    Used by 0 other packages
    07 Dec 2019