# 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-07 Finish thesis update and weekly summary.md]]
- [[2025-03-11 More Cole Group.md]]
- [[2025-03-11 Write weekly update.md]]
- [[2025-03-12 Coffee Yak and Research Talk with Robert.md]]
- [[2025-03-12 Finish Thesis update.md]]
- [[2025-03-13 Research MARVEL stuff.md]]
- [[2025-03-18 Research SMARTT.md]]

## Summary

Generated by llama3.2:latest