Here are
11 public repositories
matching this topic...
A verification toolchain for Rust programs
Updated
Nov 14, 2024
OCaml
Updated
Nov 12, 2024
Standard ML
Interactive Theorem Proving course using HOL4
Updated
Jun 21, 2023
Standard ML
P4 formalization using Ott and HOL4
Updated
Nov 4, 2024
Standard ML
Certified proof checker for Fitch-style propositional logic proofs
Updated
Nov 21, 2023
Standard ML
Formalisations of a class of Base-N algorithms.
Updated
Dec 4, 2023
Standard ML
Formal definition, metatheory, and tools for the Machine Independent Language using HOL4 and CakeML
Updated
Oct 25, 2022
Standard ML
HOL4 formalization of a theory of specifications, components, contracts, and compositionality
Updated
Aug 27, 2022
Standard ML
Updated
Jun 23, 2017
Standard ML
Utility functions and tactics for HOL4
Updated
Mar 10, 2021
Standard ML
My solutions for the KTH HOL4 course - Interactive Theorem Proving
Updated
Feb 6, 2019
Standard ML
Improve this page
Add a description, image, and links to the
hol4
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
hol4
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.