ForMat

Have a look at ForMat, our Formal Philosophy of Mathematics Seminar in Warsaw! Go to our website to see all the interesting projects of our researchers at the University of Warsaw.