# Training Resources for Atelier B

## Training Resources for Atelier B

- [Introduction](https://b-method.gitbook.io/training-resources-for-atelier-b/readme.md)
- [Installation](https://b-method.gitbook.io/training-resources-for-atelier-b/guides-and-tutorials/installation.md)
- [Training Videos](https://b-method.gitbook.io/training-resources-for-atelier-b/guides-and-tutorials/training-videos.md)
- [Training Slides](https://b-method.gitbook.io/training-resources-for-atelier-b/guides-and-tutorials/slides.md)
- [Applying the B Method](https://b-method.gitbook.io/training-resources-for-atelier-b/guides-and-tutorials/applying-the-b-method.md)
- [Project Creation](https://b-method.gitbook.io/training-resources-for-atelier-b/guides-and-tutorials/applying-the-b-method/project-creation.md)
- [Code Generation](https://b-method.gitbook.io/training-resources-for-atelier-b/guides-and-tutorials/applying-the-b-method/code-generation.md)
- [Mathematical Proof](https://b-method.gitbook.io/training-resources-for-atelier-b/guides-and-tutorials/applying-the-b-method/mathematical-proof.md)
- [Writing Mathematical Rules](https://b-method.gitbook.io/training-resources-for-atelier-b/guides-and-tutorials/applying-the-b-method/mathematical-proof/writing-mathematical-rules.md)
- [Introduction](https://b-method.gitbook.io/training-resources-for-atelier-b/guides-and-tutorials/applying-the-b-method/mathematical-proof/writing-mathematical-rules/introduction.md)
- [Introduction to the Theory Language](https://b-method.gitbook.io/training-resources-for-atelier-b/guides-and-tutorials/applying-the-b-method/mathematical-proof/writing-mathematical-rules/introduction-to-the-theory-language.md)
- [How to write mathematical rules](https://b-method.gitbook.io/training-resources-for-atelier-b/guides-and-tutorials/applying-the-b-method/mathematical-proof/writing-mathematical-rules/how-to-write-mathematical-rules.md)
- [Using Automatic Prover Mechanisms](https://b-method.gitbook.io/training-resources-for-atelier-b/guides-and-tutorials/applying-the-b-method/mathematical-proof/writing-mathematical-rules/using-automatic-prover-mechanisms.md)
- [Guards in a nutshell](https://b-method.gitbook.io/training-resources-for-atelier-b/guides-and-tutorials/applying-the-b-method/mathematical-proof/writing-mathematical-rules/guards-in-a-nutshell.md)
- [Normalisation of Expressions](https://b-method.gitbook.io/training-resources-for-atelier-b/guides-and-tutorials/applying-the-b-method/mathematical-proof/writing-mathematical-rules/normalisation-of-expressions.md)
- [Common pitfall](https://b-method.gitbook.io/training-resources-for-atelier-b/guides-and-tutorials/applying-the-b-method/mathematical-proof/writing-mathematical-rules/common-pitfall.md)
- [All guards in the theory language](https://b-method.gitbook.io/training-resources-for-atelier-b/guides-and-tutorials/applying-the-b-method/mathematical-proof/writing-mathematical-rules/all-guards-in-the-theory-language.md)
- [Extending Atelier B](https://b-method.gitbook.io/training-resources-for-atelier-b/guides-and-tutorials/extending-atelier-b.md): This page describes the extensibility features found in Atelier B 4.
- [Syntax](https://b-method.gitbook.io/training-resources-for-atelier-b/guides-and-tutorials/extending-atelier-b/syntax.md)
- [Examples](https://b-method.gitbook.io/training-resources-for-atelier-b/guides-and-tutorials/extending-atelier-b/examples.md)
- [Programming the CLEARSY Safety Platform](https://b-method.gitbook.io/training-resources-for-atelier-b/guides-and-tutorials/programming-the-clearsy-safety-platform.md)
- [Fuel Level](https://b-method.gitbook.io/training-resources-for-atelier-b/examples-and-case-studies/fuel-level.md)
- [Switch](https://b-method.gitbook.io/training-resources-for-atelier-b/examples-and-case-studies/switch.md)
- [Security Policy](https://b-method.gitbook.io/training-resources-for-atelier-b/examples-and-case-studies/security-policy.md)
- [Verified Software Competitions](https://b-method.gitbook.io/training-resources-for-atelier-b/examples-and-case-studies/verified-software-competitions.md)
- [Glossary](https://b-method.gitbook.io/training-resources-for-atelier-b/additional-resources/glossary.md)
- [References](https://b-method.gitbook.io/training-resources-for-atelier-b/additional-resources/references.md)
- [Frequently Asked Questions](https://b-method.gitbook.io/training-resources-for-atelier-b/additional-resources/frequently-asked-questions.md)