Home My Page Projects Krajono
Summary Activity Lists News SCM Files Mediawiki
Close InriaForge Scheduled outage on Tuesday October 30, 2018, from 2PM CEST

Project Information

This project has not yet categorized itself in the Trove Software Map Registered: 2014-12-01 17:02
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 (Subversion: 142 updates, 15,775 adds) (Git: 142 updates, 15,775 adds)
Project description

A Matita to Dedukti translator