Working Through "The Mechanics of Proof": Lean 4 Theorem Prover, Mathematics
The embedded player is not available for this broadcast. Please check the platform website.
Broadcast Stats
- Broadcast: 316006470502
- January 12, 2026 2:33 pm CST
- January 12, 2026 2:33 pm CST
- Maximum Viewers: 1
- Average Viewers: 1;li>
- Minimum Viewers: 1
Unregistered users are limited to 7 results, login for more.
Total Views
No Data at this time.
Unregistered users are limited to 7 results, login for more.
Total Likes
No Data at this time.
Unregistered users are limited to 7 results, login for more.
Total Comments
No Data at this time.
