https://www.daveswiki.org/ 2026-04-17T01:37:59-0700 https://www.daveswiki.org/ https://www.daveswiki.org/lib/tpl/adoradark/images/favicon.ico text/html 2019-02-03T19:44:17-0700 Anonymous (anonymous@undisclosed.example.com) https://www.daveswiki.org/doku.php?id=math:coq_notes&rev=1549251857&do=diff Introductory Stuff Coq Reading * The Coq Standard Library * The Coq Reference Manual * Certified Programming with Dependent Types * There are setup instructions at the end of the introduction which are needed for running the examples. (Good thing I read the introduction!) * Note that the chapter “Some Quick Examples” isn't quick at all! It's very long! text/html 2019-01-28T22:35:30-0700 Anonymous (anonymous@undisclosed.example.com) https://www.daveswiki.org/doku.php?id=math:mathematics_notes&rev=1548743730&do=diff * Math Symbols * Khan Academy Math * Algebra I * Coq Notes