> For the complete documentation index, see [llms.txt](https://b-method.gitbook.io/training-resources-for-atelier-b/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://b-method.gitbook.io/training-resources-for-atelier-b/guides-and-tutorials.md).

# Guides and Tutorials

- [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)