Discover trending Isabelle
open-source projects

11
19
30
Our great sponsors
  • Scout APM - Truly a developer’s best friend
  • InfluxDB - Build time-series-based applications quickly and at scale.
  • SonarQube - Static code analysis for 29 languages.
  • Zigi - Workflow assistant built for devs & their teams
Mentions
@
Stars Project Description
1 441 seL4 specification and proofs
1 151 Cogent Project

Popular Isabelle Topics