Skip to main content
Zurab Janelidze's Blog
for academia, mathematics, music, art and philosophy
Search
Search This Blog
Showing posts from August 28, 2022
View all
Posts
The SOFiA Proof Assistant Project
August 30, 2022
math
programming
projects
research
sofia
+
More posts