logoalt Hacker News

mentalgear • today at 8:15 AM • 0 replies • view on HN

Rocq (Coq) and Isabelle/HOL?