Welcome

This is the page where I talk about B and lisb.

You can start with the documentation in the sidebar, or read some blog posts (under "News" at the top)

« Prev Next »

• Quick Start
• lisb Tutorial
• Welcome

B Syntax Overview

• Predicates
• Numbers
• Set Operators
• Relations
• Functions
• Sequences
• Records
• Substitutions

B Material

• Vorlesung: B Sprache (German)
• Vorlesung: Relationen (German)