11. Appendix: TODO
Todo
map Bloom levels to course outline
(The original entry is located in /home/runner/work/lucformalmethodscourse.github.io/lucformalmethodscourse.github.io/source/10-overview.rst, line 56.)
Todo
Under construction for spring 2025
(The original entry is located in /home/runner/work/lucformalmethodscourse.github.io/lucformalmethodscourse.github.io/source/20-foundations.rst, line 7.)
Todo
Add material on Sets, Proofs, and Induction
(The original entry is located in /home/runner/work/lucformalmethodscourse.github.io/lucformalmethodscourse.github.io/source/20-foundations.rst, line 144.)
Todo
Under construction for spring 2025
(The original entry is located in /home/runner/work/lucformalmethodscourse.github.io/lucformalmethodscourse.github.io/source/40-modelchecking.rst, line 6.)
Todo
Under construction for spring 2025
(The original entry is located in /home/runner/work/lucformalmethodscourse.github.io/lucformalmethodscourse.github.io/source/50-rtverification.rst, line 6.)
Todo
summary/recap goes here
(The original entry is located in /home/runner/work/lucformalmethodscourse.github.io/lucformalmethodscourse.github.io/source/70-summary.rst, line 6.)
Todo
Under construction for spring 2024!
(The original entry is located in /home/runner/work/lucformalmethodscourse.github.io/lucformalmethodscourse.github.io/source/80-software.rst, line 7.)
Todo
Under construction for spring 2024!
(The original entry is located in /home/runner/work/lucformalmethodscourse.github.io/lucformalmethodscourse.github.io/source/85-resources.rst, line 6.)
(The original entry is located in /home/runner/work/lucformalmethodscourse.github.io/lucformalmethodscourse.github.io/source/index.rst, line 64.)
Todo
add sample projects, activities, tests, and (tiered) master list for presentations
(The original entry is located in /home/runner/work/lucformalmethodscourse.github.io/lucformalmethodscourse.github.io/source/index.rst, line 70.)