site banner

Small-Scale Question Sunday for September 18, 2022

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.

8
Jump in the discussion.

No email address required.

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/.