Pinned Repositories
ATP_Proofs
Interesting ATP Proofs
deepmath
deep learning for math
extract-defs
mizarmode
mizarmode
MMLLicense
Licensing for the Mizar Mathematical Library
MPTP2
MPTP2078
The MPTP2078 benchmark
mwiki
ott2miz
xsl4mizar
JUrban's Repositories
JUrban/deepmath
deep learning for math
JUrban/xsl4mizar
JUrban/mizarmode
mizarmode
JUrban/ATP_Proofs
Interesting ATP Proofs
JUrban/extract-defs
JUrban/bib2csv
bib2csv
JUrban/ai4reason.github.io
JUrban/aid
JUrban/aimleap
AIMLEAP is an environment designed for proving equational theorems by interacting with a (typically learning-based) advisors.
JUrban/E_conj
E conjecturing benchmark based on Mizar40
JUrban/eprover
JUrban/ForSet
JUrban/GRUNGE
JUrban/GRUNGE-full
The full GRUNGE repo
JUrban/icms-conference.github.io
The web presence of the ICMS conference series
JUrban/icms1.github.io
JUrban/isa_enigma_paper
Data and information for the "Isabelle ENIGMA" ITP'22 paper
JUrban/jurban.github.io
JUrban/Megalodon
The Megalodon interactive theorem prover and proof checker
JUrban/mhtml
Mizar html
JUrban/mizar-rs
Alternative Mizar proof checker (http://mizar.org/) written in Rust
JUrban/MizarSystem
fork of Mizar's (now GPL-ed) source code
JUrban/mm-hammer
A tool for automatically proving Metamath theorems using ATPs
JUrban/MPTPChallenge
The MPTP Challenge from 2006
JUrban/oeis-atp-benchmark
The OEIS Benchmark for Inductive Theorem Proving
JUrban/plcop
Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover
JUrban/prfgld.github.io
JUrban/tactictoe-jv
JUrban/testpy
testpy
JUrban/tst1234