kernel-of-trust
There are 1 repositories under kernel-of-trust topic.
c-cube/trustee
[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.
There are 1 repositories under kernel-of-trust topic.
[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.