Machine Logic

At the junction of computation, logic and mathematics

Tag: descriptions

Dealing with descriptions in Isabelle/HOL: least, greatest, whatever (08 Jun 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