Home My Page Projects Holide
Summary Tracker Lists SCM Files

Latest File Releases

This project has not released any files.

Public Tools
Tracker  Tracker
Mailing Lists (1 public mailing list)
SCM Repository (Git: 208 updates, 23 adds)
Project description

An HOL to Dedukti translator.