pirapira/eth-isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs

⭐ 242 | 🍴 43

chrisvfritz/isabella

A voice-computing assistant built in Ruby.

⭐ 144 | 🍴 9

seL4/isabelle

git mirror of the Munich isabelle hg repository

⭐ 131 | 🍴 43

isabelle-prover/mirror-isabelle

Git mirror of https://isabelle.in.tum.de/repos/isabelle

⭐ 82 | 🍴 17