Jak zaprogramować dowód matematyczny?
Prowadzący: Jakub Nowak
matematyka
informatyka
Dowodzenie twierdzeń w języku Lean
Prowadzący warsztatów nie wstawił jeszcze opisu.