2021-01-21 15:12:9 (GMT)
Please submit proposals for the next bookclub. Decision in two weeks (around 2021-02-07).
2021-01-22 10:51:57 (GMT)
Exploring the Structure of an Algebra Text with Locales
Clemens Ballarin
J. Autom. Reason. 64(6): 1093-1121 (2020)
isabelle.in.tum.de/~ballarin/publications/jar2019.pdf
2021-01-22 10:55:16 (GMT)
Verified Textbook Algorithms - A Biased Survey
Tobias Nipkow, Manuel Eberl, Maximilian P. L. Haslbeck
ATVA 2020: 25-53
http://www21.in.tum.de/~nipkow/pubs/atva20.pdf
2021-01-22 10:56:54 (GMT)
The two suggestions above are quite off topic although I am interested in them, so better suggestions would be welcome.