JUrban/xsl4mizar JUrban/xsl4mizar

  • Stars
    star
    6
  • Rank 2,526,331 (Top 51 %)
  • Language XSLT
  • Created over 15 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JUrban/xsl4mizar
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

MPTP2

Prolog
19
star
3

ott2miz

Emacs Lisp
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