add teaching page

rodrigo7491 · rodrigo7491 · commit c0ef8855c174 · 2026-02-12T14:59:13.000+01:00
diff --git a/_data/navigation.yml b/_data/navigation.yml
@@ -14,8 +14,8 @@ main:
   # - title: "Talks"
   #   url: /talks/
 
-  # - title: "Teaching"
-  #   url: /teaching/
+  - title: "Teaching"
+    url: /teaching/
     
   # - title: "Portfolio"
   #   url: /portfolio/
diff --git a/_pages/teaching-html.html b/_pages/teaching-html.html
diff --git a/_pages/teaching.md b/_pages/teaching.md
@@ -0,0 +1,12 @@
+---
+permalink: /teaching/
+title: ""
+author_profile: true
+redirect_from: 
+---
+
+## Courses
+
+### Introduction to Automated Reasoning (WBCS063-05)
+
+- New BSc in the academic year 2026/27, details to follow.
