Project

General

Profile

Overview

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

This is not an updated link anymore. The repository has been moved to
https://git8.cs.fau.de/software/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