Atelier B
Interactive Prover
Reference Manual
version 4.0
ATELIER B
Interactive Prover Reference Manual
version 4.0
Document made by CLEARSY.
This document is the property of CLEARSY and shall not be copied, duplicated or distributed, partially or totally, without prior written consent.
All products names are trademarks of their respective authors.
CLEARSY
ATELIER B maintenance
Parc de la Duranne
320 avenue Archimède
Les Pléiades III - Bât.A
13857 Aix-en-Provence Cedex 3
France
Tél 33 (0)4 42 37 12 99
Fax 33 (0)4 42 37 12 71
email : maintenance.atelierb@clearsy.com