GitHub repository: vo1stv/HOL
Primary language: Standard ML
Description: Canonical sources for HOL4 theorem-proving system.   Branch master is where "mainline development" occurs.