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: Jun 13 2024 at 02:02 UTC