Skip to content
View ai4reason's full-sized avatar
20 followers · 0 following

Achievements

Achievement: StarstruckAchievement: Pull SharkAchievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: StarstruckAchievement: Pull SharkAchievement: Arctic Code Vault Contributor
BetaSend feedback
Block or Report

Block or report ai4reason

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. Prover9 Prover9 Public

    Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.

    C 32 10

  2. ATP_Proofs ATP_Proofs Public

    Forked from JUrban/ATP_Proofs

    Interesting ATP Proofs

    12 3

  3. enigmatic enigmatic Public

    Python 3 3

  4. grackle grackle Public

    Python 2 2

  5. BliStrTune BliStrTune Public

    Hierarchical invention of targeted E prover strategies

    Perl 1 1

  6. eprover eprover Public

    Forked from eprover/eprover

    C 1 2