Machine Logic

At the junction of computation, logic and mathematics

Tag: jEdit

Thoughts on user interfaces for theorem provers (14 Dec 2022)
Getting started: basic Isabelle/jEdit tricks (11 May 2022)

Machine Logic is maintained by Lawrence C Paulson.

subscribe via RSS