dedukti

The Dedukti logical framework
Description

Dedukti is a logical framework based on the λΠ-calculus modulo in which many theories and logics can be expressed.

Install
Sources
v2.6.0.tar.gz
md5=2b79cea0b02684ad852ef20b0a539668
Dependencies
Reverse Dependencies