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: https://twitter.com/andrejbauer/status/1269367589936955394

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