Skip to content

GitLab

Explore

Sign in

D

dnegmod

Project information

A Coq formalization of "Negative Translations and Normal Modality".

244 Commits
1 Branch
0 Tags

README

Created on

March 08, 2019

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

Loading