RanaldClouston · @RanaldClouston
104 followers · 137 posts · Server fediscience.org#ITP2023 "welcomes submissions describing original research on all aspects of interactive theorem proving and its applications" #ITP https://mizar.uwb.edu.pl/ITP2023/
Last updated 3 years ago