JUrban/MPTP2 JUrban/MPTP2

  • Stars
    star
    19
  • Rank 1,156,768 (Top 23 %)
  • Language
    Prolog
  • Created over 15 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JUrban/MPTP2
github

JUrban

Reviews

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

Repository Details

More Repositories

1

deepmath

deep learning for math
Perl
29
star
2

ott2miz

Emacs Lisp
6
star
3

xsl4mizar

XSLT
6
star
4

MPTP2078

The MPTP2078 benchmark
OpenEdge ABL
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