Machine Logic

At the junction of computation, logic and mathematics

Tag: recruitment

(Hilbert, Isabelle) and more universal pairs, by Marco David (09 Nov 2022)
Verifying distributed systems with Isabelle/HOL, by Martin Kleppmann (12 Oct 2022)

Machine Logic is maintained by Lawrence C Paulson.

subscribe via RSS