Mentions légales du service

Skip to content

Explore projects

  • Z

    Gérard Huet / Zen

    Zen computational linguistics OCaml library

    0
    Updated
    0 0 0 0
    Updated
  • X

    tansiv / xen

    Other
    0
    Updated
    0 0 0 0
    Updated
  • W

    DIVERIO Diego / why3_lsp_server

    0
    Updated
    0 0 0 0
    Updated

  • Why3 / why3

    GNU Lesser General Public License v2.1 only

    Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

    7
    Updated
    7 9 34 185
    Updated

  • BAUDIN Lucas / why3

    GNU Lesser General Public License v2.1 only

    Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

    0
    Updated
    0 0 0 0
    Updated

  • Jean-Christophe Filliâtre / why3

    GNU Lesser General Public License v2.1 only

    Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

    0
    Updated
    0 0 0 0
    Updated

  • PARREIRA PEREIRA Mário José / why3

    GNU Lesser General Public License v2.1 only

    Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

    0
    Updated
    0 0 0 0
    Updated

  • Matteo Manighetti / why3

    GNU Lesser General Public License v2.1 only

    Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

    0
    Updated
    0 0 0 0
    Updated

  • Armaël Guéneau / why3

    GNU Lesser General Public License v2.1 only

    Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

    0
    Updated
    0 0 0 0
    Updated

  • Benedikt Becker / why3

    GNU Lesser General Public License v2.1 only

    Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

    0
    Updated
    0 0 0 0
    Updated

  • LENGRAND Stephane / why3

    GNU Lesser General Public License v2.1 only

    Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

    0
    Updated
    0 0 0 0
    Updated

  • Clément Pascutto / why3

    GNU Lesser General Public License v2.1 only

    Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

    0
    Updated
    0 0 0 0
    Updated
  • W

    KHAYAM Adam / WEBI

    Formal operational semantic of WEBI language written in coq. Purpose of this project is to give a behavioural description of WEBI in COQ, using Small Step and Skeletal Semantics

    0
    Updated
    0 0 0 0
    Updated
  • W

    KHAYAM Adam / WEBAI

    0
    Updated
    0 0 0 0
    Updated
  • W

    Causality / Weakmem

    Implementation of weak memory models using Causality

    0
    Updated
    0 0 0 0
    Updated
  • V

    vvfe / vvfe

    GNU Affero General Public License v3.0
    0
    Updated
    0 0 0 0
    Updated
  • V

    Armaël Guéneau / visitors

    GNU Lesser General Public License v2.1 only

    An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.

    0
    Updated
    0 0 0 0
    Updated
  • V

    WILLEMS Danny / visitors

    GNU Lesser General Public License v2.1 only

    An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.

    0
    Updated
    0 0 0 0
    Updated
  • V

    POTTIER Francois / visitors

    GNU Lesser General Public License v2.1 only

    An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.

    0
    Updated
    0 2 0 1
    Updated
  • V

    Why3 / VerifyThis2020

    0
    Updated
    0 0 0 0
    Updated