TypiCal

TypiCal stands for Types, logic and Calculus. It is a project founded by INRIA Saclay, and is located at École Polytechnique, France.