Scientific Visits:


Grants:


Membership in Academic Societies:


100 Theorems:

List of solved formalization problems from the Formalizing 100 Theorems: