Kalle Kytölä
Jukka Kohonen
Milo Orlich
The foralli blog
Blog Posts
-
Some formalization of mathematics news of 2023
created by
Nov 28, 2023
-
First steps
created by
Mar 03, 2022
-
Launching the Formalization Alliance
created by
Dec 17, 2021
