Skip to content
Better HN
Top
Best
Ask
Show
New
Jobs
Search
⌘K
mcshicks | Better HN
mcshicks
490 karma
Joined January 8, 2015
258 submissions
Recent submissions
1
Mathmatics in Lean
(opens in new tab)
(leanprover-community.github.io)
1
mcshicks
2y ago
0
Save
