logoalt Hacker News

cubefox • today at 11:45 AM • 0 replies • view on HN

HOL = higher-order logic