Hello, everyone.

Just a clarification: when you submit a proof as answer for one of the exercises, please use sequent calculus, as we did (are doing) in the classroom slides, and follow the scheme for the hypotheses and goals that are needed for the proofs.

Thanks in advance,

Manuel

On Thu, 13 Feb 2025 00:04:17 +0100, Manuel Carro manuel.carro@imdea.org wrote:

Hi, all. The first exercise sheet for Event-B is available at the course website. Please see the announcement at

https://wp.software.imdea.org/cbc/2025/02/13/first-cbc-homework-deadline-tue...

Best,