Contact
Privacy
DMCA
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