seL4 specification and proofs
-
Updated
Oct 24, 2024 - Isabelle
#
isabelle
Here are 73 public repositories matching this topic...
A curated set of links to formal methods involving provable code.
-
Updated
Dec 12, 2021
Model finder for higher-order logic
-
Updated
Dec 7, 2023 - OCaml
A Scala library for controlling/interacting with Isabelle
-
Updated
Jul 10, 2024 - Scala
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
-
Updated
Jan 29, 2024 - Isabelle
An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
-
Updated
Nov 30, 2022 - Standard ML
Fully verified model checker for realtime systems
-
Updated
Sep 2, 2022 - Isabelle
Verifying the optimization phases of the GraalVM compiler
-
Updated
Apr 17, 2024 - Isabelle
A client for Isabelle server (https://isabelle.in.tum.de)
-
Updated
Jul 6, 2024 - TeX
Formalizing the KZG polynomial commitment scheme in the Interactive Theorem Prover Isabelle.
-
Updated
Apr 14, 2024 - Isabelle
ISSABEL simple API Restful JSON: Provide call history reports from Issabel for a Call center powered by PHP with a JSON web-service interface
api
php
webservice
json
isabelle
web-service
issabel
call-history
isabel
issabel-call
issabel-tell
issabel-json
issabel-php
issabel-report
issabel-api
api-issabel
-
Updated
Jun 5, 2022 - PHP
A dependent type theory logic for Isabelle
dependent-types
proof-assistant
type-theory
isabelle
interactive-theorem-proving
logical-framework
dependent-type-theory
-
Updated
Feb 8, 2021 - Standard ML
A new foundational package for Isabelle/HOL that implements binding-aware datatypes
-
Updated
Oct 31, 2024 - Isabelle
Improve this page
Add a description, image, and links to the isabelle topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the isabelle topic, visit your repo's landing page and select "manage topics."