This is your work, valued
JUrban
Expert@JUrban
deepmath. deep learning for math
30MPTP2. Prolog
20MPTP2078. The MPTP2078 benchmark
8MMLLicense. Licensing for the Mizar Mathematical Library
6xsl4mizar. XSLT
6ott2miz. Emacs Lisp
6mizarmode. mizarmode
6mwiki. Perl
5ATP_Proofs. Interesting ATP Proofs
5isa_top_autoform1. Isabelle
5extract-defs.
3FlotterOnTPTP. Perl
2MPTP. Perl
2hol-advisor. Emacs Lisp
1bib2csv. bib2csv
1BliStr. BliStr system
1hol-light-nat. Native compilation of HOL Light
1 views searches