▽HOL Light ●11/02 05:58 The HOL Light theorem prover Written by John Harrison drawing on the work of Mike Gordon Tom Melham Robin Milner Larry Paulson Konrad Slind and many other HOL and LCF researchers HOL Light is a computer program to help users prove interesting mathematical theorems completely formally in higher order logic. It sets a very exacting standard of correctness, but provides a number of automated tools an
▽[計算機言語談話会について] ●10/11 01:43 Not Found The requested URL /cvs/CLC/ was not found on this server.
