Home My Page Projects dedukti-constructivization
Summary Activity Lists News SCM Mediawiki

Project Information

This project has not yet categorized itself in the Trove Software Map Registered: 2016-07-27 10:11
Activity Ranking: 0
View project Statistics
View list of RSS feeds available for this project.
Public Tools
Mailing Lists (0 public mailing lists)
SCM Repository (Git: 3 updates, 0 adds)
Project description

A rewrite system for proof constructivization in Dedukti.