eduhetxub

4 ms·

1. 1.▲
   by eduhetxub 3y ago

   Be careful. While a proof in Lean is executable (it is a script, so to speak) it is conceptually a sequence of references to tactics. Writing a Lean proof does involve a highly specialised form of functional programming, but I wouldn't
2. 2.▲
   by eduhetxub 3y ago

   Quite frankly, the Wikipedia page should tell anyone everything they could want to know (for starters). https://en.wikipedia.org/wiki/SKI_combinator_calculus
3. 3.▲
   by eduhetxub 3y ago

   I don't know exactly what you mean, but the name of this shape is consistent with the naming of traditional geometric constructions like the "five-centered arch" and the "three-centered arch" (see many diagrams onli