Skip to content

GitLab

Explore

Sign in

Software
cpscoq

C

cpscoq

Project information

An abortive attempt by Ulrich R. to formalize de Groote's paper

28 Commits
1 Branch
0 Tags

README

Created on

March 08, 2019

Copy SSH clone URLgit@git8.cs.fau.de:software/cpscoq.git
Copy HTTPS clone URLhttps://git8.cs.fau.de/software/cpscoq.git