mathematics_in_lean_source icon indicating copy to clipboard operation
mathematics_in_lean_source copied to clipboard

Published 20 hours ago • verified publisher icon avigad

Minor typo at S02_Overview.lean

Open hansonchar opened this issue 1 year ago • 0 comments

Details in the pull request https://github.com/avigad/mathematics_in_lean_source/pull/188

hansonchar avatar Apr 20 '24 16:04 hansonchar