Time for a New Proof Assistant | Dark Hacker News