HOL-88

Technology Dictionary -> HOL-88

Search:

HOL-88



An implementation of HOL built on ML by Mike Gordon .