[HN Gopher] TBM 333: Lean Graph Theory
       ___________________________________________________________________
        
       TBM 333: Lean Graph Theory
        
       Author : duck
       Score  : 16 points
       Date   : 2025-01-27 17:59 UTC (5 hours ago)
        
 (HTM) web link (cutlefish.substack.com)
 (TXT) w3m dump (cutlefish.substack.com)
        
       | munchler wrote:
       | Dang, I was hoping this might be something cool about graphs in
       | the Lean language/theorem prover.
        
         | pfdietz wrote:
         | I was expecting that too. :(
        
         | aithrowawaycomm wrote:
         | Same here - maybe the HN post should be retitled to "Lean
         | Manufacturing and Graph Theory."
        
         | cobertos wrote:
         | Same! It's a field I mess around with a lot as an amateur and
         | was hoping to get a better hang on it for a personal project.
        
       ___________________________________________________________________
       (page generated 2025-01-27 23:01 UTC)