Machine Logic

At the junction of computation, logic and mathematics

Tag: PVS

BDDs in HOL: the coolest thing Mike Gordon ever did (17 Aug 2022)
Undefined values, or what do we get when we divide by zero? (01 Dec 2021)

Machine Logic is maintained by Lawrence C Paulson.

subscribe via RSS