Skip to content

Commit fbbf86f

Browse files
committed
added link to course examples
Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>
1 parent f36cc57 commit fbbf86f

1 file changed

Lines changed: 4 additions & 1 deletion

File tree

source/85-resources.rst

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,4 +3,7 @@
33
Appendix: Additional Resources
44
------------------------------
55

6-
.. todo:: Under construction for spring 2024!
6+
.. todo:: Under construction for spring 2024!
7+
8+
9+
- `Course examples on GitHub (subject to reorganization) <https://github.com/lucformalmethodscourse>`_

0 commit comments

Comments
 (0)