Home My Page Projects Sigmaid : SIGMA-calculus In Dedukti
Summary Activity Lists News SCM Mediawiki

Project Information

This project has not yet categorized itself in the Trove Software Map Registered: 2014-09-11 15:40
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: 62 updates, 18 adds)
Project description

A type-checker for the simply-typed ς-calculus and a translation tool to Dedukti and Coq.