Project

General

Profile

Overview

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

To clone, use

git clone git://git8.cs.fau.de/dnegmod

Issue tracking

open closed Total
Bug 0 0 0
Feature 0 0 0
Support 0 0 0

View all issues | Calendar | Gantt

Members

Manager: Tadeusz Litak

Developer: Miriam Polzer, Ulrich Rabenstein