[HN Gopher] The Future of Interactive Theorem Proving? ___________________________________________________________________ The Future of Interactive Theorem Proving? Author : ColinWright Score : 17 points Date : 2022-08-16 21:19 UTC (1 hours ago) (HTM) web link (xenaproject.wordpress.com) (TXT) w3m dump (xenaproject.wordpress.com) ___________________________________________________________________ (page generated 2022-08-16 23:00 UTC)