barakeel

Pinned Repositories

arithmetic_datasets
1 2 12
HOL
0 2 00
HOL-1
Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.
Language:Standard ML1 1 00
HOLtoTFF
Export a HOL formula into TFF(TPTP format)
Language:TeX2 4 00
oeis-smt
Language:SMT0 1 00
oeis-synthesis
Language:Standard ML22 2 12
oeis-synthesis-1
Language:Standard ML1 1 00
proofgold-lava
Language:C00
ramsey
A formal proof of R(4,5)=25
Language:Standard ML2 2 00
synthesis_datasets
Language:OpenEdge ABL1 2 00

barakeel's Repositories

barakeel/oeis-synthesis
Language:Standard ML22 2 12
barakeel/HOLtoTFF
Export a HOL formula into TFF(TPTP format)
Language:TeX2 4 00
barakeel/ramsey
A formal proof of R(4,5)=25
Language:Standard ML2 2 00
barakeel/arithmetic_datasets
1 2 12
barakeel/HOL-1
Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.
Language:Standard ML1 1 00
barakeel/oeis-synthesis-1
Language:Standard ML1 1 00
barakeel/synthesis_datasets
Language:OpenEdge ABL1 2 00
barakeel/HOL
0 2 00
barakeel/oeis-smt
Language:SMT0 1 00
barakeel/proofgold-lava
Language:C00
barakeel/tactictoe-jv
Language:TeX0 6 01