Carnap: An Open Framework for Formal Reasoning in the Browser

Electronic Proceedings in Theoretical Computer Science. 2018;267(Proc. ThEdu 2017):70-88 DOI 10.4204/EPTCS.267.5


Journal Homepage

Journal Title: Electronic Proceedings in Theoretical Computer Science

ISSN: 2075-2180 (Online)

Publisher: Open Publishing Association

LCC Subject Category: Science: Mathematics: Instruments and machines: Electronic computers. Computer science

Country of publisher: Australia

Language of fulltext: English

Full-text formats available: PDF



Graham Leach-Krouse ( Kansas State University )


Peer review

Editorial Board

Instructions for authors

Time From Submission to Publication: 21 weeks


Abstract | Full Text

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.