Challenge Faves

oguz’s Reviews > Theorem Proving in Lean > Status Update

oguz
oguz is 40% done
— Apr 30, 2026 07:58AM
Theorem Proving in Lean

flag

Post a comment »
Comments

No comments have been added yet.


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