Event radar · Organisation

Isabelle/HOL Lean HOL4

Every event involving Isabelle/HOL Lean HOL4, merged across sources — most recent first.

Subscribe by email Subscribe via RSS

A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda
Lobsters2 h ago