6 search results for "tag:"interactive""

Showing 1 - 6
  1. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    deductive verification program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    30.0
    LGPL-2.1-only
    Used by 3 other packages
    16 Dec 2024
  2. leaflet
    Documentation
    Bindings for the Leaflet JavaScript library
    leaflet javascript bindings interactive map openstreetmap
    pukkamustard <pukkamustard@posteo.net> swrup <swrup@protonmail.com> Léo Andrès <contact@ndrs.fr>
    0.2
    BSD-2-Clause
    Used by 0 other packages
    06 Feb 2025
  3. matita
    Documentation
    An experimental, interactive theorem prover
    interactive theorem proving calculus of constructions
    HELM Team Andrea Asperti Ferruccio Guidi Luca Padovani Claudio Sacerdoti Coen et al.
    0.99.5
    GPL-2.0-or-later
    Used by 0 other packages
    05 Oct 2023
  4. why3
    Documentation
    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.0
    LGPL-2.1-only
    Used by 6 other packages
    13 Dec 2024
  5. why3-coq
    Documentation
    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.0
    LGPL-2.1-only
    Used by 0 other packages
    13 Dec 2024
  6. why3-ide
    Documentation
    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.0
    LGPL-2.1-only
    Used by 0 other packages
    13 Dec 2024