1 search result for "author:"Balthazar Pathiachvili""

Showing 1 - 1
  1. coq-waterproof
    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 Balthazar Pathiachvili Cosmin Manea Lulof Pirée Adrian Vrămuleţ et al.
    2.1.1+8.18
    LGPL-3.0-or-later
    Used by 0 other packages
    10 Jan 2024