Thoughts on user interfaces for theorem proverslawrencecpaulson.github.io3 pointstodsacerdoti4 years ago