- The Art of Computer Programming, Volume 4, Fascicle 7: Constraint Satisfaction
by mauricioc on 2/7/25, 1:36 PM, with comments
- The ∞-Cosmos Project
by mauricioc on 9/18/24, 11:29 AM, with comments
- Lean into Verified Software Development
by mauricioc on 4/9/24, 11:58 AM, with comments
- Lean 4.7.0
by mauricioc on 4/4/24, 10:50 AM, with comments
- Formalising modern research mathematics in real time
by mauricioc on 11/5/23, 12:25 PM, with comments
- A Graduate Course in Applied Cryptography (2023-01-14 update)
by mauricioc on 1/18/23, 5:09 PM, with comments