Here are
12 public repositories
matching this topic...
Certified proof checker for Fitch-style propositional logic proofs
Updated
Nov 21, 2023
Standard ML
Interactive Theorem Proving course using HOL4
Updated
Jun 21, 2023
Standard ML
Regression testing infrastructure for CakeML
Updated
Aug 15, 2024
Standard ML
Updated
Jun 28, 2019
Rust
A wrapper around CakeML to make compiling nicer.
Updated
Aug 20, 2018
Shell
Formal definition, metatheory, and tools for the Machine Independent Language using HOL4 and CakeML
Updated
Oct 25, 2022
Standard ML
Isabelle component for CakeML
Formalisations of a class of Base-N algorithms.
Updated
Dec 4, 2023
Standard ML
Exporting CakeML to Isabelle with Lem (DISCONTINUED)
Updated
Aug 28, 2019
Isabelle
Instructions for building CakeML on CentOS 8
Updated
Dec 30, 2022
Rust
Improve this page
Add a description, image, and links to the
cakeml
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
cakeml
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.