Home My Page Projects Dedukti
Summary Activity Tracker Lists SCM Files

Latest File Releases
Package Version Date Notes Download
Meta Dedukti v2.5 2017-03-07 Meta Dedukti - Release Notes Meta Dedukti v2.5 - Download
Dedukti v2.3.1 2015-05-26 Dedukti - Release Notes Dedukti v2.3.1 - Download
Public Tools
Tracker  Tracker
Mailing Lists (0 public mailing lists)
Project description

A type-checker for λΠ-modulo user-defined rewrite rules. The latest version is available under opam.