Functional Data Structures and Algorithms: a Proof Assistant Approach
#HackerNews #FunctionalDataStructures #Algorithms #ProofAssistant #Programming #HN
#Tag
Functional Data Structures and Algorithms: a Proof Assistant Approach
#HackerNews #FunctionalDataStructures #Algorithms #ProofAssistant #Programming #HN
A space for Bonfire maintainers and contributors to communicate