Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with cakeml
A curated list of projects in awesome lists tagged with cakeml .
https://github.com/palmskog/fitch
Certified proof checker for Fitch-style propositional logic proofs
cakeml coq fitch-proofs hol4 ocaml ott propositional-logic
Last synced: 10 Oct 2024