Top Isabelle repos

languages / Isabelle / global

901 repos

«12...91»
RankRepoStarsDeveloper
jepsen-io/elle on Github1elle566jepsen-io
pirapira/eth-isabelle on Github2eth-isabelle229pirapira
elastic/elasticsearch-formal-models on Github3elasticsearch-formal-models201elastic
au-ts/cogent on Github4cogent157au-ts
diekmann/Iptables_Semantics on Github5Iptables_Semantics92diekmann
TartanLlama/non-binary on Github6non-binary75TartanLlama
data61/PSL on Github7PSL58data61
CTSRD-CHERI/sail-cheri-riscv on Github8sail-cheri-riscv52CTSRD-CHERI
isabelle-prover/mirror-isabelle on Github9mirror-isabelle48isabelle-prover
ethereum/yul-isabelle on Github10yul-isabelle38ethereum