Stream: Miscellaneous

Topic: Mathematicians learning to use proof assistants

view this post on Zulip Karl Palmskog (Jun 07 2020 at 22:46):

This is a pretty interesting thread, though not the best advertisement for Coq:

What's the most confusing thing for a mathematician when they start using a proof assistant, speaking from your personal experience? (Computer scientists, plese do not answer this one.)

- Andrej Bauer (@andrejbauer)

Last updated: Aug 14 2022 at 11:02 UTC