Ψ

The PSI project

Proof-Search control in Interaction with domain-specific methods

funded by ANR as a "Jeunes chercheurs" grant.

October 2009 to September 2013

Mahfuza Farooque, PhD student
Chantal Keller, PhD student
Stéphane Graham-Lengrand, CR CNRS
Assia Mahboubi, CR INRIA
Laboratoire d'Informatique de l'X, UMR 7161

Équipes Typical et Parsifal

New release of the Psyche prover!