from
Hacker News
Top
New
Time for a New Proof Assistant
by
gsf_emergency_2
on 9/28/25, 4:58 AM with 0 comments