rabarbers's submissions

1.		Ask HN: Looking for a good course to learn proof assistant Lean 4
		5 points by rabarbers 8 months ago \| past \| 4 comments
2.		Show HN: KatLang – Language for Calculations (katlang.org)
		17 points by rabarbers on Dec 2, 2021 \| past \| 45 comments
3.		Implicit lambda calculus (publicationservice.org)
		1 point by rabarbers on May 11, 2014 \| past
4.		Ask HN: Do you need implicit parameters/arguments?
		1 point by rabarbers on Feb 26, 2014 \| past