Terms of Use

• This software is confidential and copyrighted.
• You may not make copies of software except for teaching.
• You may not modify, decompile, or reverse engineer software.
• Clearsy disclaims any warranty for any use.
• You acknowledge that software may contain errors.
• If you publish any kind of works, made partly with Atelier B Provers, you have to refer to the Atelier B web site: http://www.atelierb.eu.