Do you have a dumb question that you're kind of embarrassed to ask in the main thread? Is there something you're just not sure about?
This is your opportunity to ask questions. No question too simple or too silly.
Culture war topics are accepted, and proposals for a better intro post are appreciated.
Jump in the discussion.
No email address required.
Notes -
Do you want to study the underlying theory, or are you primarily interested in learning how to actually use Coq to prove stuff? If it's the latter, maybe have a look at https://softwarefoundations.cis.upenn.edu/.
More options
Context Copy link