'CS 3110 - Fall 2017 -- Data structures and funcional programming using OCaml and a bit of Coq' -- cs.cornell.edu/courses/cs3110/

Sign in to participate in the conversation
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!