Machine Logic

At the junction of computation, logic and mathematics

Tag: locales

Porting the HOL Light metric space library (12 Jul 2023)
Type classes versus locales (23 Mar 2022)

Machine Logic is maintained by Lawrence C Paulson.

subscribe via RSS