 |
Post ApALL9M6pDjCIpzPTE by [email protected] |
 |
More posts by [email protected] |
|
Post #ApAGe9BfAz8DVmLJKa by [email protected] |
|
0 likes, 0 repeats |
|
|
|
apparently my idea of what to do on a big pain day is to learn Lean 4 from the … |
|
|
|
Post #ApALL9M6pDjCIpzPTE by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@whitequark That's sounds like a nice thing to do tho. Busy the brain to fo… |
|
|
|
Post #ApARx8Jrj2STonR2W0 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@whitequark pain begets pain /hj |
