Electronics Circuits & Tutorials

Home

About us

Electronic Tutorials

Engineering Hobby Projects

Online Dictionaries

Home > Electronics Tutorials > Online Computer Terms Dictionary > h

Online Computer Terms Dictionary - H

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

Discover

Home

Electronic Tutorials

Engineering Hobby Projects

Resources Links

Sitemap

Copyright © 1999-2020 www.hobbyprojects.com (All rights reserved)