22 lines
726 B
Markdown
22 lines
726 B
Markdown
# Table of Contents for Research
|
|
|
|
## Files
|
|
- [[2024-08-26 Fighting with the BeagleBone.md]]
|
|
- [[2024-08-28 HAIS Journal Club.md]]
|
|
- [[2024-09-10 Nuclear Engineering Steering Committee - Conf Room A UClub.md]]
|
|
- [[2025-02-24 Haskell Chapter 2.md]]
|
|
- [[2025-02-24 LEAN.md]]
|
|
- [[2025-02-24 TLA Learning Plan and Notes.md]]
|
|
- [[2025-02-26 BoardTalk with Robert.md]]
|
|
- [[2025-02-28 TLA+ Proof.md]]
|
|
- [[2025-03-05 Finish thesis update and weekly summary.md]]
|
|
- [[2025-03-05 Rust Chapter 2.md]]
|
|
- [[2025-03-06 Finish Assembly Verification paper.md]]
|
|
- [[2025-03-06 LEAN Addition World.md]]
|
|
- [[2025-03-06 Rust Chapter 3 Common Programming Concepts.md]]
|
|
- [[2025-03-07 Haskell Chapter 3.md]]
|
|
|
|
## Summary
|
|
|
|
Generated by llama3.2:latest
|