Squirrel Prover Last updated on Apr 30, 2021 Go to Project Site Charlie Jacomme Full Time Researcher (CR) at Inria Nancy
