Machine Logic

At the junction of computation, logic and mathematics

Tag: proof documents

Automation and engineering in mathematics, by Pedro Sánchez Terraf (16 Nov 2022)

Machine Logic is maintained by Lawrence C Paulson.

subscribe via RSS