[HN Gopher] Grokking the Sequent Calculus (Functional Pearl)
       ___________________________________________________________________
        
       Grokking the Sequent Calculus (Functional Pearl)
        
       Author : marvinborner
       Score  : 6 points
       Date   : 2024-07-09 19:14 UTC (3 hours ago)
        
 (HTM) web link (arxiv.org)
 (TXT) w3m dump (arxiv.org)
        
       ___________________________________________________________________
       (page generated 2024-07-09 23:01 UTC)