Skip to content
View joseph-vidal-rosset's full-sized avatar
2 followers · 16 following
Block or Report

Block or report joseph-vidal-rosset

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. G4ip G4ip Public

    G4ip prover in Prolog

    Prolog 1

  2. G4mp G4mp Public

    G4mp is a prover for minimal propositional logic in Prolog. It is G4ip without the intuitionistic absurdity rule.

    Prolog

  3. g4-prover.pl g4-prover.pl Public

    Prolog

  4. seqprover.pl seqprover.pl Public

    Naoyuki Tamura's prover

    Prolog

  5. Methode-des-tables-de-verite Methode-des-tables-de-verite Public

    TeX

  6. my_prelude_emacs my_prelude_emacs Public

    Emacs Lisp