Skip to content
View lex-lex's full-sized avatar

Highlights

  • Pro

Organizations

@leoprover @I-O-Logic

Block or report lex-lex

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

Pinned Loading

  1. leoprover/Leo-III leoprover/Leo-III Public

    An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

    Scala 42 10

  2. leoprover/scala-tptp-parser leoprover/scala-tptp-parser Public

    A parser for the TPTP logic languages for automated theorem proving written in Scala

    Scala 5 5

  3. aureleeNet/rio aureleeNet/rio Public

    A reasoner for Input/Output logic

    Scala 1

  4. leoprover/embed_modal leoprover/embed_modal Public

    A tool for translating higher-order modal logic problems into classical higher-order logic

    Python 5 2