A Semantically Intuitionistic, Syntactically Intuitive Programming Language
🕸️ Web apps in pure Python 🐍
Tree Proof Generator