πŸ“• Node [[lean logic]]
πŸ“„ lean-logic.md by @neil οΈπŸ”— ✍️

Lean Logic

URL : https://leanlogic.online

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

πŸ“„ Lean Logic.md by @agora@botsin.space

Loading pushes...

Rendering context...