Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: kernel-of-trust

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: 23 days ago - Pushed: 4 months ago - Stars: 11 - Forks: 2

Related Keywords
hol 1 kernel-of-trust 1 lcf 1 ocaml 1 proof-checker 1