Find link

language:

Find link is a tool written by Edward Betts.

searching for HOL Light 2 found (32 total)

alternate case: hOL Light

Drinker paradox (991 words) [view diff] exact match in snippet view article find links to article

p. 91. ISBN 978-1-85233-056-9. Freek Wiedijk. 2001. Mizar Light for HOL Light. In Proceedings of the 14th International Conference on Theorem Proving

Formal methods (3,624 words) [view diff] case mismatch in snippet view article find links to article

symbolic evaluation), optimization for Intel IA-64 architecture using HOL light theorem prover, and verification of high-performance dual-port gigabit