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