Machine Logic

At the junction of computation, logic and mathematics

Tag: BDDs

BDDs in HOL: the coolest thing Mike Gordon ever did (17 Aug 2022)

Machine Logic is maintained by Lawrence C Paulson.

subscribe via RSS