Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Trustee

[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.
Stars
11
License
No license specified
Open Issues
1
Most Recent Commit
3 months ago
Programming Language
OCaml
Categories
Site
Repo
Suggest An Alternative To trustee
Popular Kernel Projects
Linux ⭐ 164,652
Linux kernel source tree
total releases 2latest release December 07, 2022most recent commit 3 months ago
Popular Polymorphism Projects
Arrow ⭐ 5,884
Λrrow - Functional companion to Kotlin's Standard Library
dependent packages 80total releases 240latest release September 05, 2023most recent commit 3 months ago
Typedb ⭐ 3,623
TypeDB: the polymorphic database powered by types
dependent packages 5total releases 24latest release December 13, 2018most recent commit 4 months ago
Popular Operating Systems Categories
Kernel
Driver
Operating System
Unix
Debian
Filesystem
Openwrt
Hackintosh
Efi
Tvos
Related Searches
Kernel Ocaml
Ocaml Polymorphism
Ocaml Prelude
Polymorphism Prelude

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Kernel
Ocaml
Polymorphism
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.