Folke Online
Live demo at thecoder5550.github.io/folke-online Overview
Folke is an interactive proof editor for propositional and first-order logic. It is based on the course DAT060 Logic in computer science at Chalmers.
Folke was originally written as a desktop application in Haskell as part of my groups bachelor thesis. Folke Online is a rewrite of the front-end interface which runs on the web instead, requiring no download. The original proof engine, which corrects proofs and is written in Haskell, is compiled to webassembly to be able to run on the web.
Technology
- React: A front-end framework to simplify state management. It supports writing components with JSX syntax and automatically updates the parts of the UI that changes state.
- Typescript: Adds types to javascript.
- Vite: Bundler used to compile typescript to javascript. It also allows for hot reloading.
- Haskell: Folke is originally built with haskell.
- WebAssembly: The haskell source code is compiled to webassembly to run on the web.
Problem
Writing proofs and correcting them by hand is tedious. Folke allows students to write proofs in a web-based editor. Proofs are automatically corrected while you write and points out errors in real time.
Screenshots
