[HN Gopher] Discharging Lean goals into SMT solvers
       ___________________________________________________________________
        
       Discharging Lean goals into SMT solvers
        
       Author : ndrwnaguib
       Score  : 6 points
       Date   : 2024-11-21 20:02 UTC (2 hours ago)
        
 (HTM) web link (github.com)
 (TXT) w3m dump (github.com)
        
       ___________________________________________________________________
       (page generated 2024-11-21 23:00 UTC)