Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with kernel-of-trust

A curated list of projects in awesome lists tagged with kernel-of-trust .

https://github.com/c-cube/trustee

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

hol kernel-of-trust lcf ocaml proof-checker

Last synced: 12 Oct 2024