Home My Page Projects Coqine
Summary Activity Tracker SCM Files
Close InriaForge Scheduled outage on Tuesday October 30, 2018, from 2PM CEST

Latest File Releases

This project has not released any files.

Public Tools
Tracker  Tracker
  • Bugs (1 open / 1 total)
SCM Repository (Git: 451 updates, 82 adds)
Project description

A Coq to Dedukti translator.