HOL-88

You are here: irt.org | FOLDOC | HOL-88

An implementation of HOL built on ML by Mike Gordon <mjcg@cl.cam.ac.uk>.

Nearby terms: hobbit « hog « HOL « HOL-88 » HOL-90 » hole » hole model

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL