Jan :rust: :ferris:
boosted
50 years of proof assistants. ~ Lawrence Paulson. https://lawrencecpaulson.github.io//2025/12/05/History_of_Proof_Assistants.html #ITP #IsabelleHOL #CoqProver #HOL