- Tytuł:
- Using the proof assistant Lean in undergraduate mathematics classrooms
- Autorzy:
- Źródło:
- ZDM – Mathematics Education. :1-13
Czasopismo naukowe
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.