logoalt Hacker News

alphabeta3r56 • today at 4:00 AM • 0 replies • view on HN

I mean we had Coq for the longest time.