HN
Hacker News
Top
New
Best
Ask
Show
Jobs
rabarbers
12 karma · joined May 3, 2011
submissions
comments
Ask HN: Looking for a good course to learn proof assistant Lean 4
5 pts
·
rabarbers
·
4
Show HN: KatLang – Language for Calculations
katlang.org
·
17 pts
·
rabarbers
·
45
Implicit lambda calculus
publicationservice.org
·
1 pts
·
rabarbers
·
0
Ask HN: Do you need implicit parameters/arguments?
1 pts
·
rabarbers
·
0