Applying Recent Advances in Proof Theory to Specification and Reasoning

The RAPT project is an INRIA Associated Team (Équipe Associée) between:

RAPT has been funded from 2011—2014.

Principals

See also