HN Explorer

rabarbers

↗ HN profile [ 61.4 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Ask HN: Looking for a good course to learn proof assistant Lean 4

    Hi HN, I’ve been exploring Lean 4, the theorem prover and programming language, and I’m impressed by what it offers for formal reasoning and proofs. However, it’s been difficult to find a structured, instructor-led…

    5 points 4
  2. Show HN: KatLang – Language for Calculations (katlang.org)
    17 points 45
  3. Implicit lambda calculus (publicationservice.org)
    1 points 0
  4. Ask HN: Do you need implicit parameters/arguments?

    Article "Implicit parameters and implicit arguments in programming languages" can be found here: https://www.publicationservice.org/Artifact/ImplicitParameters You are programmer, right? ;) So, you should understand…

    1 points 0