Giters

c-cube / trustee

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

Home Page:https://trustee.cedeela.fr/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

c-cube/trustee Issues