On the HOL light theorem prover:
On software verification and hardware verification by formal logic and proof assistants:
Created on February 24, 2023 at 08:41:58. See the history of this page for a list of all contributions to it.