user: quamserena
190 karma | created 6 months ago
recent submissions
6 days ago|discuss
12 days ago|discuss
21 days ago|discuss
21 days ago|discuss
1 month ago|discuss
2 months ago|discuss
2 months ago|discuss
2 months ago|discuss
2 months ago|discuss
2 months ago|discuss
My experience with Lean 4 for general programming
(quamserena.com)
6 pts|2 months ago|discuss
2 months ago|discuss
2 months ago|discuss
2 months ago|discuss
2 months ago|discuss
2 months ago|discuss
3 months ago|discuss
3 months ago|discuss
3 months ago|discuss
3 months ago|discuss