[HN Gopher] Kerodon - an online resource for homotopy-coherent m...
       ___________________________________________________________________
        
       Kerodon - an online resource for homotopy-coherent mathematics
        
       Author : aleph_minus_one
       Score  : 8 points
       Date   : 2024-04-13 21:18 UTC (1 hours ago)
        
 (HTM) web link (kerodon.net)
 (TXT) w3m dump (kerodon.net)
        
       ___________________________________________________________________
       (page generated 2024-04-13 23:00 UTC)