Links and resources
Finnish Centre of Excellence in Randomness and Structures
The community web page of Lean theorem prover and Mathlib.
Programming language and interactive proof assistant.
Suomen matemaattinen yhdistys (SMY)