Popular repositories Loading

1. eth-isabelle eth-isabelle Public

   Forked from pirapira/eth-isabelle

   A Lem formalization of EVM and some Isabelle/HOL proofs

   Isabelle 33 6

2. Gazelle Gazelle Public

   Gazelle = Generalized Elle. A framework for reusable programming language semantics.

   Isabelle 18 2

3. Yul-Isabelle Yul-Isabelle Public

   Isabelle semantics for the Yul language

   Isabelle 4 4

4. SolidityABI SolidityABI Public

   Isabelle formalization of Solidity ABI encoding and decoding

   Isabelle 3

5. Domingo Domingo Public

   Free Reimplementation of A Popular Deckbuilding Game

   Elm 2

6. nodups-exercise nodups-exercise Public

   Dafny and Isabelle solutions to an exercise about removing duplicates from a sorted list

   Isabelle 1