3 search results for "author:"Randy Pollack""

Showing 1 - 3
  1. coq-certicoq

    No documentation

    A Verified Compiler for Gallina, Written in Gallina
    Andrew Appel Yannick Forster Anvay Grover Joomy Korkut John Li et al.
    0.9+8.19
    MIT
    Used by 0 other packages
    04 Jun 2024
  2. 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
  3. rocq-certirocq

    No documentation

    A Verified Compiler for Gallina, Written in Gallina
    Andrew Appel Yannick Forster Anvay Grover Joomy Korkut John Li et al.
    0.9.1+9.1
    MIT
    Used by 0 other packages
    18 Mar 2026