Meet 'n' Prove

Please indicate your attendance so we can preplan Pizza & Drinks (spontaneous attendance is nonetheless possible!).
More information on the event can be found here: https://formal.kastel.kit.edu/teaching/meet-n-prove/