40 skills found · Page 1 of 2
pirapira / Eth IsabelleA Lem formalization of EVM and some Isabelle/HOL proofs
awesomo4000 / Awesome ProvableA curated set of links to formal methods involving provable code.
au-ts / CogentCogent Project
jaalonso / Lecturas GLCReadings on computational logic, interactive theorem proving and functional programming.
awslabs / AutoCorrodeVerification infrastructure for the Isabelle/HOL interactive proof assistant
ekpyron / AOTEmbedding of The Theory of Abstract Objects in Isabelle/HOL
xqyww123 / Isa MiniA minimal language for Isabelle/HOL, designed for easing machine learning.
gteege / Gentle IsabelleA gentle introduction to Isabelle and Isabelle/HOL
meiersi / Scyther ProofA tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
LVPGroup / FppIsabelle/HOL sources for the book "Functional Programming and Proof"
BarrelfishOS / Isabelle Hardware ModelsHardware decoding net model in Isabelle/HOL
fu-dietersheim / BlockchainA verified permissioned centralized Blockchain for Isabelle/HOL
echronos / Echronos ProofsIsabelle/HOL proofs about the eChronos RTOS
jack-pappas / NHolAn implementation of higher-order logic (HOL) in F#. Based on hol-light, Isabelle, and HOL4.
meithecatte / Isabelle Math ContestsSolutions to math olympiad problems in Isabelle/HOL
shenghaoyuan / CertSBFFormalize Solana rBPF Virtual Machine in Isabelle/HOL
jaalonso / Calculemus2Proof exercises in Lean4 and Isabelle/HOL
filipmaric / IMOFormalization of IMO solutions in Isabelle/HOL
fu-dietersheim / Hol FalsoThe Falso axiomatic system for Isabelle/HOL
isabelle-utp / Hybrid VerificationComponents for Verifying Hybrid Systems in Isabelle/HOL