-
-
opsys-sp25 Public
Forked from dthain/opsys-sp25CSE 30341 Spring 2025 at Notre Dame
SCSS UpdatedFeb 15, 2026 -
-
-
-
logical_verification_2024 Public
Forked from lean-forward/logical_verification_2024The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
Lean UpdatedSep 22, 2025 -
-