Giters
Thibault Gauthier (barakeel)

barakeel

Geek Repo

8

followers

0

following

6

stars

Github PK Tool:Github PK Tool

Thibault Gauthier's repositories

oeis-synthesis

Language:Standard MLLicense:GPL-3.0Stargazers:19Issues:2Issues:0

HOLtoTFF

Export a HOL formula into TFF(TPTP format)

Language:TeXLicense:NOASSERTIONStargazers:2Issues:4Issues:0

arithmetic_datasets

Stargazers:1Issues:2Issues:1

HOL

Stargazers:0Issues:2Issues:0

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 MLLicense:NOASSERTIONStargazers:0Issues:1Issues:0

oeis-synthesis-1

Language:Standard MLLicense:GPL-3.0Stargazers:0Issues:1Issues:0

ramsey

A formal proof of R(4,5)=25

Language:Standard MLLicense:GPL-2.0Stargazers:0Issues:2Issues:0

synthesis_datasets

Language:OpenEdge ABLStargazers:0Issues:2Issues:0

tactictoe-jv

Language:TeXStargazers:0Issues:6Issues:0