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

Copy SSH clone URLgit@gitlab.cs.fau.de:oc59yqul/pcf.git
Copy HTTPS clone URLhttps://gitlab.cs.fau.de/oc59yqul/pcf.git

Loading