logoalt Hacker News

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

Rocq (Coq) and Isabelle/HOL?