Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
Qaw
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
2 ms
·
1.
▲
by
Qaw
10y ago
Are there slim definition-theorem-proof-exercise-repeat style papers meant to be an introduction into the field? Maybe something in the style of http://www.jiblm.org/downloads/jiblmjournal/V090212I/V090212...