[HN Gopher] A pilot project in universal algebra to explore new ...
       ___________________________________________________________________
        
       A pilot project in universal algebra to explore new ways to
       collaborate
        
       Author : anothermathbozo
       Score  : 15 points
       Date   : 2024-09-26 21:20 UTC (1 hours ago)
        
 (HTM) web link (terrytao.wordpress.com)
 (TXT) w3m dump (terrytao.wordpress.com)
        
       | gigatexal wrote:
       | upvoting this hoping someone can dumb it down for me a bit
       | :sweat_smile:
        
       | davidrjones1977 wrote:
       | I really love the extent to which Terry Tao has embraced the
       | promise and potential of proof assistants. So many smart and
       | talented people in that community doing so much amazing work.
       | With folks like these pushing the boundaries, the sky is the
       | limit.
        
       ___________________________________________________________________
       (page generated 2024-09-26 23:00 UTC)