1 search result for "author:"Jim Portegies <j.w.portegies@tue.nl>""

Showing 1 - 1
  1. coq-waterproof

    No documentation

    Coq proofs in a style that resembles non-mechanized mathematical proofs
    keyword:mathematics education category:Mathematics/Education date:2023-11-04 logpath:Waterproof
    Jelle Wemmenhove Pim Otte Balthazar Pathiachvili Dick Arends Cosmin Manea et al.
    3.1.0+9.0
    LGPL-3.0-or-later
    Used by 0 other packages
    04 Nov 2025