rabarbers

Tues May 3, 2011 12:02pm PST

Karma:

12

submitted

Fri Nov 14, 2025 10:37am PST

Ask HN: Looking for a good course to learn proof assistant Lean 4

@rabarbers

3

3

5

Thurs Dec 2, 2021 9:59am PST

Show HN: KatLang – Language for Calculations

@rabarbers

3

45

17

Sun May 11, 2014 6:36am PST

Implicit lambda calculus

@rabarbers

1

Wed Feb 26, 2014 2:32pm PST

Ask HN: Do you need implicit parameters/arguments?

@rabarbers

1