Robuta

https://amsdottorato.unibo.it/id/eprint/917/ Interactive theorem provers: issues faced as a user and tackled as a developer interactive theorem provers issues faced https://pl.ewi.tudelft.nl/posters/2024/09/03/how-novices-perceive-interactive-theorem-provers/ How Novices Perceive Interactive Theorem Provers novices interactive theorem provers