📕 subnode [[@neil/lean logic]]
in 📚 node [[lean-logic]]
Lean Logic
URL : https://leanlogic.online
A book by [[David Fleming]]. The online version kinda feels like a digital garden…
📖 stoas
- public document at doc.anagora.org/lean-logic
- video call at meet.jit.si/lean-logic