[HN Gopher] L[?]AN together - live stream schedule
       ___________________________________________________________________
        
       L[?]AN together - live stream schedule
        
       Author : tzury
       Score  : 10 points
       Date   : 2026-01-21 20:34 UTC (2 hours ago)
        
 (HTM) web link (leanprover-community.github.io)
 (TXT) w3m dump (leanprover-community.github.io)
        
       | gbacon wrote:
       | Fascinating material. L[?][?]R together, amirite?
        
       | boisgerault wrote:
       | Two days left; the talks so far were very interesting imho.
       | Congrats and thanks to the organizers!
        
       ___________________________________________________________________
       (page generated 2026-01-21 23:01 UTC)