Mohamed Yacine EL HADDAD elhaddadyacine
♟️
Theory and practice are the same in theory but not in practice
-
Fastcube
- Paris, France
Block or Report
Block or report elhaddadyacine
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
ekstrakto
ekstrakto PublicForked from Deducteam/ekstrakto
Extract TPTP problems from a TSTP trace and reconstruct the proof in lambdapi (λΠ-calculus modulo theory).
OCaml 2
-
SKonverto
SKonverto PublicForked from Deducteam/SKonverto
A tool to transform proofs containing Skolem symbol in first order logic.
OCaml
-
-
Deducteam/lambdapi
Deducteam/lambdapi PublicProof assistant based on the λΠ-calculus modulo rewriting
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.