1 search result for "author:"Adrian Vrămuleţ""

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 Cosmin Manea Lulof Pirée et al.
    3.0.0+9.0
    LGPL-3.0-or-later
    Used by 0 other packages
    28 Aug 2025