[HN Gopher] Show HN: TypeScript as a proof assistant for intuiti...
       ___________________________________________________________________
        
       Show HN: TypeScript as a proof assistant for intuitionistic
       propositional logic
        
       Author : xxmarijnw
       Score  : 7 points
       Date   : 2025-03-31 17:52 UTC (5 hours ago)
        
 (HTM) web link (gist.github.com)
 (TXT) w3m dump (gist.github.com)
        
       ___________________________________________________________________
       (page generated 2025-03-31 23:01 UTC)