Merge branch 'main' of github.com:cal-poly-ramp/cal-poly-ramp.github.io

added stuff

Author: ryancramuh

.gitignore

@@ -176,3 +176,5 @@ cython_debug/
 .pypirc
 
 /_site/
+
+/just/

source/_static/pdf/meeting-slides/intro_to_formal.pdf

@@ -0,0 +1,8 @@
+Intro to ASIC Formal Verification
+=====================================
+
+View the `Riley Peter's Intro to ASIC Formal Verification Presentation (PDF) <../_static/pdf/meeting-slides/intro-to-formal.pdf>`_
+
+.. raw:: html
+
+   <iframe src="../_static/pdf/meeting-slides/intro-to-formal.pdf" width="100%" height="600px" style="border:none;"></iframe>

source/docs/formal_verif.rst

@@ -170,7 +170,7 @@ Meetings
 :doc:`meetings/verilog-meetup`
 
 
-.. important:: The 11th meeting will be 11/8/2025 @ 12:00 PM in Bldg. 20, Room 100
+.. important:: The 14th meeting will be 1/31/2026 @ 12:00 PM in Bldg. 20, Room 100
 
 .. raw:: html