Challenge Faves

Mateusz Jany’s Reviews > Theorem Proving in Lean > Status Update

Mateusz Jany
Mateusz Jany is on page 20 of 167
— Jan 25, 2026 04:46AM
Theorem Proving in Lean

flag

Post a comment »
Comments

No comments have been added yet.


All of Mateusz’s status updates
Everyone’s updates from this book