π§βπ
Training Resources for Atelier B
Ctrl
K
Copy
Guides and Tutorials
Applying the B Method
Mathematical Proof
π₯
Writing Mathematical Rules
Previous
Code Generation
Next
Writing Mathematical Rules
Last updated
3 years ago
Was this helpful?