Beyond Booleans - “bool expressions” in Lean, proposition, proof (overreacted.io)
in programming@programming.dev from Kissaki@programming.dev on 17 Aug 08:01
comments (1)
Beyond Booleans - “bool expressions” in Lean, proposition, proof (overreacted.io)
in programming_languages@programming.dev from Kissaki@programming.dev on 17 Aug 08:01
comments (1)