Skip to content
View SimonGuilloud's full-sized avatar
8 followers · 0 following

Achievements

Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2

Highlights

  • Pro

Block or report SimonGuilloud

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Pinned Loading

  1. minihol minihol Public

    Scala 3 1

  2. lisa lisa Public

    Forked from epfl-lara/lisa

    Scala

  3. orthologic-coq orthologic-coq Public

    Formalization of the Cut elimination theorem for orthologic and reflexivity-based tactic for ortholattices

    Coq

  4. epfl-lara/lisa epfl-lara/lisa Public

    Proof assistant based on first-order logic and set theory

    Scala 68 22

  5. SC-TPTP/sc-tptp SC-TPTP/sc-tptp Public

    This repository contains a set of utilities to handle, import, export and transform proofs in sc-tptp format

    OpenEdge ABL 5

  6. epfl-lara/lattices-algorithms epfl-lara/lattices-algorithms Public

    This repository contains two algorithms for the word problem and normalization problem of Ortholattices and Orthocomplemented Bisemilattices

    Scala 2 1