Skip to content

GitLab

Explore

Sign in

waldmann
cetera

C

cetera

Project information

Certified Termination in Agda

59 Commits
6 Branches
0 Tags

README

Created on

January 15, 2024

Copy SSH clone URLssh://git@git.imn.htwk-leipzig.de:2244/waldmann/cetera.git
Copy HTTPS clone URLhttps://git.imn.htwk-leipzig.de/waldmann/cetera.git