Carnap: An Open Framework for Formal Reasoning in the Browser
It provides a tool for educators and students to facilitate teaching and learning of formal reasoning, but it is incremental as it builds on existing technologies like Haskell and JavaScript.
The paper introduces Carnap, an open framework for building formal reasoning applications that can run in web browsers, designed to be flexible and extensible for educational use.
This paper presents an overview of Carnap, a free and open framework for the development of formal reasoning applications. Carnap's design emphasizes flexibility, extensibility, and rapid prototyping. Carnap-based applications are written in Haskell, but can be compiled to JavaScript to run in standard web browsers. This combination of features makes Carnap ideally suited for educational applications, where ease-of-use is crucial for students and adaptability to different teaching strategies and classroom needs is crucial for instructors. The paper describes Carnap's implementation, along with its current and projected pedagogical applications.