GitHub repository: HOL-Theorem-Prover/hol-guidebook
Primary language: CSS
Created: 2016-01-20T01:02:12Z
Description: HOL Guidebook