# Carnap: An Open Framework for Formal Reasoning in the Browser

arXiv: https://arxiv.org/abs/1803.03092 · HTML: https://mlsanity.com/paper/1803.03092/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 5 Mar 2018.

## Built on by (most cited first, 1 of 1)

- [Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned](https://mlsanity.com/paper/2505.05988/) (2025)

## Abstract (arXiv)

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.