Carnap: an Open Framework for Formal Reasoning in the Browser

Download Edit this record How to cite View on PhilPapers
Abstract
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.
Keywords
No keywords specified (fix it)
Categories
PhilPapers/Archive ID
LEACAO-2
Upload history
Archival date: 2019-03-03
View other versions
Added to PP index
2019-03-03

Total views
163 ( #31,654 of 2,427,988 )

Recent downloads (6 months)
27 ( #28,048 of 2,427,988 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.