Școală de Vară: Proof Engineering with Lean

Facultatea de Matematică și Informatică vă invită la școala de vară – Proof Engineering with Lean, un eveniment dedicat intersecției dintre demonstrarea interactivă a teoremelor (interactive theorem proving), matematica teoretică și verificarea formală a software-ului.