Lean - 2018-08-04

« first day (125 days earlier) ← previous day last day (15 days later) »

Leaky Nun

14:03

anti-freeze

« first day (125 days earlier) ← previous day last day (15 days later) »

Transcript for

Aug '184

Lean

Lean theorem prover: leanprover.github.io TIO: tio.run/#lean

join this room
about this room

00:00

06:00

12:00

18:00

all times are UTC

site design / logo © 2025 Stack Exchange Inc; legal

mobile