[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)