I love "Lean" actually, have you noticed ∃∀. Googling Lean concepts does primari... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

lakesare on Sept 21, 2023 | parent | context | favorite | on: Lean, Coq and other proof assistants: Visualising ...

I love "Lean" actually, have you noticed ∃∀. Googling Lean concepts does primarily return the codeine syrup links though yes.

lupire on Sept 22, 2023 [–]

N for Natural numbers.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact