logic.pizza

This project was part of my bachelor thesis, that describes the development of a cell-based code editor user interface with the focus on linking different languages with each other. The tool allows users to select between multiple languages, including Fennel, Lua, Markdown and of course structural formulas, to create, format, edit, and execute code cells in a document-style environment. The end-products are easy-to-share, non-complex formatted documents. The tool was designed to be lightweight, easy-to-understand and universal. It should help logicians, researchers, and others working in this research area.