[HN Gopher] Functional Programming in Coq
       ___________________________________________________________________
        
       Functional Programming in Coq
        
       Author : atan2
       Score  : 10 points
       Date   : 2023-06-21 21:56 UTC (1 hours ago)
        
 (HTM) web link (softwarefoundations.cis.upenn.edu)
 (TXT) w3m dump (softwarefoundations.cis.upenn.edu)
        
       ___________________________________________________________________
       (page generated 2023-06-21 23:01 UTC)