|
Isabelle |
3 |
Self study log of the book |
Jul 15, 2021 |
|
Isabelle |
4 |
Verifying the optimization phases of the GraalVM compiler |
Feb 28, 2022 |
|
Isabelle |
4 |
None |
Sep 23, 2020 |
|
Isabelle |
4 |
The Isabelle Proof-assistant language IDE submodule for SNU Programming Tools (2D Mode) |
Aug 26, 2022 |
|
Isabelle |
6 |
Formalization of the Cardano ledger specification |
Sep 08, 2021 |
|
Isabelle |
6 |
Formal proofs about Ethereum slashing protection strategies |
Jan 01, 2022 |
|
Isabelle |
10 |
A collection of useful tips/tricks/hints for Isabelle users. |
Feb 09, 2022 |
|
Isabelle |
407 |
seL4 specification and proofs |
Jul 26, 2022 |
|
Isabelle |
2 |
nb flag with github languages |
Mar 22, 2022 |
|
Isabelle |
2 |
Translator from GHC Core to Isabelle/HOLCF |
Jun 25, 2015 |
|
Isabelle |
5 |
ARMv8-A Address Translation: Isabelle Proof Scripts |
Dec 16, 2022 |
|
Isabelle |
56 |
Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A … |
Feb 14, 2023 |
|
Isabelle |
2 |
None |
Aug 05, 2022 |
|
Isabelle |
2 |
None |
Jun 22, 2021 |
|
Isabelle |
2 |
Teaclave specification and proofs. |
Jan 29, 2022 |
|
Isabelle |
2 |
Curso de "Razonamiento automático" |
Jun 24, 2022 |
|
Isabelle |
2 |
Git mirror of https://foss.heptapod.net/isa-afp/afp-devel |
Jan 11, 2022 |
|
Isabelle |
2 |
Formalisation of the swap-or-not shuffle used in Ethereum 2.0 |
Feb 02, 2021 |
|
Isabelle |
18 |
IC Interface Specification |
Jul 20, 2022 |
|
Isabelle |
29 |
Git mirror of https://isabelle.in.tum.de/repos/isabelle |
Jul 25, 2022 |
|
Isabelle |
32 |
None |
Aug 01, 2022 |
|
Isabelle |
48 |
None |
Jul 20, 2022 |
|
Isabelle |
104 |
git mirror of the Munich isabelle hg repository |
May 06, 2022 |
|
Isabelle |
152 |
Cogent Project |
Jul 28, 2022 |
|
Isabelle |
2 |
AutoCorres : Automatic Specification Abstraction |
Jun 17, 2022 |
|
Isabelle |
527 |
Black-box transactional safety checker based on cycle detection |
Oct 13, 2022 |
|
Isabelle |
3 |
"Software Foundations" in Isabelle |
Jul 16, 2022 |
|
Isabelle |
2 |
Web page |
Nov 19, 2021 |
|
Isabelle |
2 |
The curse of λ |
Mar 24, 2023 |
|
Isabelle |
193 |
Formal models of core Elasticsearch algorithms |
Aug 07, 2022 |
|
Isabelle |
9 |
the blog "Machine Logic" |
Mar 12, 2023 |
|
Isabelle |
2 |
Random Isabelle developments |
May 01, 2023 |
|
Isabelle |
8 |
None |
May 01, 2023 |
|
Isabelle |
7 |
None |
Apr 19, 2023 |
|
Isabelle |
2 |
A project to integrate the functionality of Computer Algebra Systems into Isabelle |
Feb 28, 2023 |
|
Isabelle |
4 |
Components for Verifying Hybrid Systems in Isabelle/HOL |
Apr 26, 2023 |
|
Isabelle |
3 |
Interactions Trees in Isabelle/HOL and a CSP model |
Dec 19, 2022 |
|
Isabelle |
2 |
An implementation of the Structured Assurance Case Meta-model in Isabelle using Isabelle/DOF |
Sep 23, 2021 |
|
Isabelle |
4 |
Lenses, Prisms, Scenes, and other Optics in Isabelle/HOL |
Jan 11, 2023 |
|
Isabelle |
2 |
None |
Jan 06, 2022 |
|
Isabelle |
2 |
A refreshed and minimalist implementation of Isabelle/UTP |
Feb 09, 2023 |
|
Isabelle |
30 |
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle |
Feb 09, 2023 |
|
Isabelle |
4 |
This is an implementation of the Z mathematical toolkit in Isabelle/HOL, as described in ISO … |
Nov 14, 2022 |
|
Isabelle |
3 |
Local mirror of Featherweight OCL entry of the Archive of Formal Proofs (AFP). |
May 05, 2023 |
|
Isabelle |
2 |
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both … |
May 09, 2023 |
|
Isabelle |
8 |
None |
Mar 24, 2023 |
|
Isabelle |
2 |
None |
Jan 26, 2023 |
|
Isabelle |
38 |
lots of mini experiments in various languages |
May 08, 2023 |
|
Isabelle |
22 |
Lecture course on verified Functional Data Structures |
Feb 16, 2023 |
|
Isabelle |
40 |
CHERI-RISC-V model written in Sail |
Apr 04, 2023 |