Home My Page Projects Coqine
Summary Activity Tracker SCM Files

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.