#proofs

1 story

#design #functional programming #lean #syntax #technology #type systems

Lean, explained the way you'd want it explained
A hands-on tour of Lean's syntax, from def and #eval to proofs that run at typecheck time.
Overreacted · 4m