JUrban/MPTP2078 JUrban/MPTP2078

  • Stars
    star
    6
  • Rank 2,526,331 (Top 51 %)
  • Language OpenEdge ABL
  • License
    Other
  • Created over 12 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JUrban/MPTP2078
github

JUrban

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

The MPTP2078 benchmark

More Repositories

1

deepmath

deep learning for math
Perl
29
star
2

MPTP2

Prolog
19
star
3

ott2miz

Emacs Lisp
6
star
4

xsl4mizar

XSLT
6
star
5

mwiki

Perl
5
star
6

MMLLicense

Licensing for the Mizar Mathematical Library
TeX
5
star
7

mizarmode

mizarmode
Emacs Lisp
5
star
8

ATP_Proofs

Interesting ATP Proofs
4
star
9

FlotterOnTPTP

Perl
2
star
10

MPTP

Perl
2
star
11

BliStr

BliStr system
Perl
1
star
12

bib2csv

bib2csv
TeX
1
star
13

hol-advisor

Emacs Lisp
1
star
14

extract-defs

1
star
15

hol-light-nat

Native compilation of HOL Light
Shell
1
star