Home My Page Projects Krajono
Summary Activity Lists News SCM Files Mediawiki

Project Information

This project has not yet categorized itself in the Trove Software Map Registered: 2014-12-01 17:02
Activity Ranking: 488
View project Statistics
View list of RSS feeds available for this project.
Public Tools
Mailing Lists (0 public mailing lists)
SCM Repository (Subversion: 142 updates, 15,775 adds) (Git: 142 updates, 15,775 adds)
Project description

A Matita to Dedukti translator