Ten minute Lean tutorial : make proofs of easy lemmas
Xena Project
•
September 25, 2020
Xena Project
View ChannelAbout
No channel description available.