profile
viewpoint

mpu/dedukti

A type-checker for the λΠ-modulo calculus.

http://www.lix.polytechnique.fr/dedukti

mpu

viewpoint

Express your opinions freely and help others including your future self

Issues rank

No questions were found.

contributors (According to the first 100)

mboes
mpu