close
The Wayback Machine - https://web.archive.org/web/20160323223331/https://github.com/trending/isabelle
Skip to content
Learn more
Please note that GitHub no longer supports Internet Explorer versions 7 or 8.

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

If you are using IE 11, make sure you turn off "Compatibility View".

Trending in open source

See what the GitHub community is most excited about today.

  1. seL4 / l4v

    seL4 specification and proofs

    Isabelle • Built by @lsf37 @davidg2603 @talsewell @mn200 @cmr

  2. diekmann / Iptables_Semantics

    Verified iptables Firewall Ruleset Analysis

    Isabelle • Built by @diekmann @larsrh @jcaesar @ammbauer

  3. seL4 / isabelle

    git mirror of the Munich isabelle hg repository

    Isabelle • Built by @invalid-email-address @larsrh @cezaryka @lammich @lsf37

  4. meiersi / scyther-proof

    A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.

    Isabelle • Built by @meiersi @jshs @lochbihl

  5. 3of8 / sturm

    A formalisation of Sturm's theorem in Isabelle with an executable decision procedure

    Isabelle • Built by @3of8

  6. prathamesh-t / Tangle-Isabelle

    Isabelle • Built by @prathamesh-t @siddhartha-gadgil

  7. javra / isabelle_algebra

    Isabelle Algebra Sandbox

    Isabelle • Built by @javra

  8. ramanala / StorageStackSemantics

    Isabelle • Built by @ramanala @vijay03

  9. davidlazar / halicore

    Translator from GHC Core to Isabelle/HOLCF

    Isabelle • Built by @dagit @davidlazar @atomb @caylee-hogg

  10. NICTA / l4v

    development version of seL4 proofs

    Isabelle • Built by @lsf37 @corlewis @tobycmurray @davidg2603

  11. tarc / concrete-semantics-book

    Self study log of the book

    Isabelle • Built by @tarc

  12. Alasdair / Thesis

    My Thesis

    Isabelle • Built by @Alasdair

  13. samth / samth.github.com

    Web page

    Isabelle • Built by @samth

  14. jamiepg1 / thesis-2

    Master's thesis

    • Built by @01mf02 @drievko

  15. jianqili / isabelle

    git mirror of the Munich isabelle hg repository

    • Built by @invalid-email-address @cezaryka @larsrh @lsf37 @lammich

  16. ehah / SCIS2014

    SCIS2014 Paper Files

    Isabelle • Built by @ehah

  17. larsrh / hol-optics

    Formalized optics in HOL

    Isabelle • Built by @larsrh

  18. larsrh / sorted

    Sorting algorithms in Isabelle/HOL

    Isabelle • Built by @larsrh

  19. isabelle-utp / utp-main

    An implementation of Hoare and He's Unifying Theories of Programming in Isabelle

    Isabelle • Built by @simondfoster @SamuelCanham

  20. 01mf02 / thesis

    Master's thesis

    Isabelle • Built by @01mf02 @drievko

  21. tjark / ML-for-NTS

    Modal Logics for Nominal Transition Systems

    Isabelle • Built by @tjark

  22. Alasdair / FM2014

    Isabelle • Built by @Alasdair @victorgomes

  23. diekmann / topoS

    Isabelle • Built by @diekmann @larsrh

  24. MerelyAPseudonym / isabelle

    Tracks http://isabelle.in.tum.de/repos/isabelle/ with git-hg

    Isabelle • Built by @cezaryka @larsrh @lsf37 @lammich @noschinl

  25. jamiepg1 / isabelle

    working directory for Isabelle proof scripts

    • Built by @avigad @johoelzl @Keldacc

ProTip! Looking for most starred Isabelle repositories? Try this search
Something went wrong with that request. Please try again.