Skip to content

GitLab

Explore

Sign in

P

Programming Computable Functions

Project information

Implementation of PCF (inspired by lecture "Monad-Based Programming") in Coq

63 Commits
5 Branches
17 Tags
13 Releases

Creative Commons Attribution Non Commercial Share Alike 4.0 International

Created on

July 28, 2023

Loading