Section: New Software and Platforms
Focalide is an extension of the FoCaLize compiler which produces Dedukti files.
Focalide has been improved to support FoCaLiZe proofs found by Zenon using the Dedukti backend for Zenon. This backend has been improved by a simple typing mechanism in order to work with Focalide. Focalide has also been updated again to work with the latest version of FoCaLiZe.