2.4.1

fblanqui released this 22 Nov 08:28

· 80 commits to master since this release

5898e7c

CHANGES:

Added

support for Pratter 3.0.0
printing of unification and coercion rules

Improved

unification

Fixed

Coq export
matita.sh script

Assets 3