GitHub repository: massimo-nocentini/hol-light
Primary language: Standard ML
Description: The HOL Light theorem prover (moved from Google code)