πŸ“š node [[lean logic]]

Lean Logic

URL : https://leanlogic.online

A book by [[David Fleming]]. The online version kinda feels like a digital garden…

πŸ“– stoas
β₯± context