3 search results for "author:"Eelis""

Showing 1 - 3
  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-math-classes

    No documentation

    A library of abstract interfaces for mathematical structures in Coq
    logpath:MathClasses date:2025-08-26
    Eelis van der Weegen Bas Spitters Robbert Krebbers
    9.0.0
    MIT
    Used by 1 other packages
    27 Aug 2025
  3. coq-quicksort-complexity

    No documentation

    Proofs of Quicksort's worst- and average-case complexity
    keyword: quicksort keyword: complexity keyword: average-case category: Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms date: 2010-06
    Eelis
    8.10.0
    BSD
    Used by 0 other packages
    07 Dec 2019