Functional Data Structures and Algorithms: a Proof Assistant Approach
#HackerNews #FunctionalDataStructures #Algorithms #ProofAssistant #Programming #HN
Functional Data Structures and Algorithms: a Proof Assistant Approach
#HackerNews #FunctionalDataStructures #Algorithms #ProofAssistant #Programming #HN