discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
A Mathematician's Lament by Paul Lockhart [pdf]
https://www.mimuw.edu.pl/~pawelst/rzut_oka/Zajecia_dla_MISH_2011-12/Lektury_files/LockhartsLament.pdf
0 comments
17/5/2024
Reddit
Teaching Rust at the University of Warsaw
https://mimuw.edu.pl/en
43 comments
5/1/2022
rust
Hammer for Coq - Automation for Dependent Type Theory (pdf)
https://www.mimuw.edu.pl/~lukaszcz/coqhammer.pdf
2 comments
19/9/2017
coq