Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with isabelle
A curated list of projects in awesome lists tagged with isabelle .
https://github.com/sel4/l4v
seL4 specification and proofs
formalisation isabelle proof sel4-microkernel sel4-proofs
Last synced: 11 Nov 2024
https://github.com/diekmann/iptables_semantics
Verified iptables Firewall Ruleset Analysis
access-control firewall haskell iptables ipv4 ipv6 isabelle security
Last synced: 16 Dec 2024
https://github.com/jaycech3n/isabelle-hott
An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
homotopy-type-theory interactive-theorem-proving isabelle type-theory
Last synced: 02 Dec 2024
https://github.com/jvanbruegge/binder_datatypes
A new foundational package for Isabelle/HOL that implements binding-aware datatypes
binders hacktoberfest isabelle
Last synced: 06 Nov 2024
https://github.com/thomashickman/isabelle-cas-integration
A project to integrate the functionality of Computer Algebra Systems into Isabelle
cas fricas isabelle maxima sagemath sympy wolfram-engine
Last synced: 19 Dec 2024
https://github.com/juanbono/concrete-semantics-exercises
Learning Isabelle/HOL
Last synced: 04 Dec 2024
https://github.com/logicalhacking/isabelle_dof
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.
certification isabelle isabelle-dof ontology
Last synced: 16 Nov 2024
https://github.com/jaycech3n/pure_logic
Isabelle's Pure logic, directly extended to FOL/HOL
hol interactive-theorem-proving isabelle
Last synced: 02 Dec 2024
https://github.com/jaalonso/slp
Semánticas de lenguajes de programación formalizadas en Isabelle/HOL
Last synced: 06 Dec 2024
https://github.com/jaalonso/calculemus
Ejercicios de demostración con Lean e Isabelle/HOL.
Last synced: 06 Dec 2024
https://github.com/eownerdead/verilambda
De Bruijn Index Lambda Calculus in Isabelle.
Last synced: 09 Nov 2024
https://github.com/jaalonso/jaalonso.github.io
Índice de repositorios.
coq functional-programming haskell isabelle lean logic-programming prolog proof-assistant
Last synced: 06 Dec 2024
https://github.com/jaalonso/afv
Algorítmica funcional verificada
algorithms algorithms-datastructures algoritmica estructuras-de-datos funcional-programming isabelle isabelle-hol programacion-funcional
Last synced: 06 Dec 2024
https://github.com/lambdacasserole/isabelle-utp-box
Ubuntu 18.04 Bionic Beaver with Isabelle/UTP installed and ready to go.
isabelle utp vagrant virtual-machine vm
Last synced: 20 Dec 2024
