Section: New Software and Platforms

Krajono

Krajono translates Matita proofs into Dedukti proofs.

• Contact: Guillaume Burel

• URL: http://deducteam.gforge.inria.fr/krajono/

First working version able to translate the Matita library on arithmetics.