Select languages
Just click on one of the languages to switch to it.
Repository Created on September 22, 2014, 1:46 pm
Verified iptables Firewall Ruleset Analysis
Last updated on August 30, 2022, 2:37 pm
Repository Created on May 21, 2020, 10:27 pm
Last updated on June 22, 2021, 3:37 pm
Repository Created on February 1, 2020, 7:00 pm
Clone of isabelle, with LSP extensions in seperate branches
Last updated on January 31, 2023, 5:52 pm
Repository Created on June 27, 2015, 3:17 pm
Isabelle/Lower Order Logic
Last updated on June 27, 2015, 3:21 pm
Repository Created on January 15, 2016, 10:45 am
Last updated on January 15, 2016, 10:46 am
Repository Created on March 28, 2016, 2:09 pm
Eisbach proof method for finiteness of sets
Last updated on November 24, 2021, 1:12 pm
Repository Created on January 1, 2016, 7:40 pm
Last updated on January 1, 2016, 7:45 pm
Repository Created on May 26, 2016, 3:28 pm
KA-based program correctness components
Last updated on May 26, 2016, 3:37 pm
Repository Created on February 5, 2015, 11:01 am
some magic from B522
Last updated on June 7, 2017, 11:29 am
Repository Created on October 8, 2015, 8:35 pm
Nunchaku for Isabelle
Last updated on May 12, 2017, 12:37 pm
Repository Created on March 1, 2015, 12:22 am
A place for homework assignments I did for the Semantics course during the WS 2014/15 @ TUM
Last updated on March 7, 2015, 1:41 pm
Repository Created on February 10, 2017, 5:36 am
Last updated on February 10, 2017, 6:03 am
Repository Created on May 26, 2017, 7:25 pm
Learning Isabelle
Last updated on December 1, 2020, 5:01 am
Repository Created on February 8, 2017, 2:04 pm
Formal Proofs of Control Performance
Last updated on June 16, 2021, 8:55 am
Repository Created on September 24, 2016, 3:28 pm
Last updated on September 24, 2016, 8:35 pm
Repository Created on December 31, 2017, 11:27 am
Last updated on February 9, 2022, 5:59 pm
Repository Created on September 24, 2018, 2:25 pm
Last updated on September 24, 2018, 2:26 pm
Repository Created on August 10, 2018, 3:55 pm
A formalization of the refined adaptive state counting algorithm
Last updated on January 9, 2022, 10:48 pm
Repository Created on April 7, 2018, 7:00 am
Last updated on April 7, 2018, 7:14 am
Repository Created on March 12, 2018, 11:03 pm
Examples of TLA proofs
Last updated on May 21, 2021, 3:32 pm
Repository Created on April 20, 2018, 11:09 am
Specifiaction and verification of the Kruskal algorithm for minimal spanning trees in Isabelle/HOL
Last updated on July 17, 2018, 12:47 pm
Repository Created on December 12, 2018, 3:26 am
Last updated on April 26, 2019, 3:53 pm
Repository Created on June 12, 2019, 11:48 pm
Last updated on April 26, 2020, 7:16 pm
Repository Created on February 15, 2019, 5:02 pm
Last updated on February 15, 2019, 5:03 pm
Repository Created on March 9, 2019, 10:10 am
Solutions to the Isabelle textbook Concrete Semantics
Last updated on March 9, 2019, 10:11 am
Repository Created on September 27, 2019, 3:47 pm
Last updated on April 13, 2021, 9:38 am
Repository Created on February 6, 2020, 3:30 pm
Last updated on February 6, 2020, 4:02 pm
Repository Created on October 29, 2019, 2:02 pm
Last updated on May 5, 2021, 7:47 am
Repository Created on March 18, 2020, 11:54 am
Last updated on July 17, 2020, 7:32 am