Search Results for 'thm hol'

thm hol published presentations and documents on DocSlides.

HOL, Part 2 Automating my own logic

by phoebe-click

2. UNITY. Based on . UNITY, proposed by . Chandy....

HOL, Part 2

by cheryl-pisano

Automating my own logic. 2. UNITY. Based on . UNI...