Not
Hacker
News
!
Home
Hiring
Products
Discussion
Q&A
Users
Not
Hacker
News
!
Home
Hiring
Products
Discussion
Q&A
Users
Home
/
Discussion
/
Proof Writing
Back to Discussion
Proof Writing
Loading...
3 stories
•
24h:
0%
•
7d: 0
•
0 comments
Top contributors:
iamwil
ibobev
Stories
Related Stories
3 stories tagged with proof writing
The Best to Way to Learn Might Be Starting at the End: Writing a Proof in Lean
2
0 comments
by iamwil
Posted
3 months ago
Active
about 1 month ago
Lean
proof writing
learning strategies
Way to Learn Might Be Starting at the End: Writing a Proof in Lean
1
0 comments
by ibobev
Posted
2 months ago
Active
about 1 month ago
Lean
proof writing
learning methods
Way to Learn Might Be Starting at the End: Writing a Proof in Lean
1
0 comments
by iamwil
Posted
2 months ago
Active
about 1 month ago
Lean
proof writing
learning methods
Proof Writing | Trending Topic on Hacker News | Not Hacker News!