125 skills found · Page 1 of 5
seL4 / L4vseL4 specification and proofs
pirapira / Eth IsabelleA Lem formalization of EVM and some Isabelle/HOL proofs
trishullab / PutnamBenchAn evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
awesomo4000 / Awesome ProvableA curated set of links to formal methods involving provable code.
seL4 / Isabellegit mirror of the Munich isabelle hg repository
diekmann / Iptables SemanticsVerified iptables Firewall Ruleset Analysis
isabelle-prover / Mirror IsabelleGit mirror of https://isabelle.in.tum.de/repos/isabelle
trvedata / Crdt IsabelleVictor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distributed Systems. In OOPSLA and Proceedings of the ACM on Programming Languages (PACMPL), 2017.
awslabs / AutoCorrodeVerification infrastructure for the Isabelle/HOL interactive proof assistant
data61 / PSLNo description available
albertqjiang / Portal To ISAbellehttps://albertqjiang.github.io/Portal-to-ISAbelle/
nunchaku-inria / NunchakuModel finder for higher-order logic
dominique-unruh / Scala IsabelleA Scala library for controlling/interacting with Isabelle
argotorg / Yul IsabelleNo description available
larsrh / LibisabelleA Scala library which talks to Isabelle (DISCONTINUED)
isabelle-utp / Utp MainAn implementation of Hoare and He's Unifying Theories of Programming in Isabelle
logic-tools / Sml HandbookSML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
bzhan / Auto2A best-first-search theorem prover implemented in Isabelle
coastalcph / Mtl DisparateCode for NAACL 2018 paper "Multi-task Learning of Pairwise Sequence Classification Tasks Over Disparate Label Spaces" by Isabelle Augenstein, Sebastian Ruder, Anders Søgaard
jaycech3n / Isabelle HoTTAn experimental implementation of homotopy type theory in the interactive proof assistant Isabelle