Școală de Vară: Proof Engineering with Lean
21.09.2026 @ 8:30 am - 24.09.2026 @ 1:30 pm
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.