c-cube/trustee

[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.

Language: OCaml - Size: 3.45 MB - Last synced at: about 5 hours ago - Pushed at: over 1 year ago - Stars: 11 - Forks: 2