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-synthesis
Language:Standard ML21 2 02
oeis-synthesis-1
Language:Standard ML1 1 00
ramsey
A formal proof of R(4,5)=25
Language:Standard ML1 2 00
synthesis_datasets
Language:OpenEdge ABL1 2 00
tactictoe-jv
Language:TeX0 6 01
HOL
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 ML616 48 643137

barakeel's Repositories

barakeel/oeis-synthesis
Language:Standard ML21 2 02
barakeel/HOLtoTFF
Export a HOL formula into TFF(TPTP format)
Language:TeX2 4 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/ramsey
A formal proof of R(4,5)=25
Language:Standard ML1 2 00
barakeel/synthesis_datasets
Language:OpenEdge ABL1 2 00
barakeel/HOL
0 2 00
barakeel/tactictoe-jv
Language:TeX0 6 01