Carnap: An Open Framework for Formal Reasoning in the Browser
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...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2018-03-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1803.03092v1 |
| _version_ | 1819050305621327872 |
|---|---|
| author | Graham Leach-Krouse |
| author_facet | Graham Leach-Krouse |
| author_sort | Graham Leach-Krouse |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-12-21T11:45:56Z |
| format | Article |
| id | doaj.art-db21790965624bce82407c4dce00acaa |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-12-21T11:45:56Z |
| publishDate | 2018-03-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-db21790965624bce82407c4dce00acaa2022-12-21T19:05:10ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802018-03-01267Proc. ThEdu 2017708810.4204/EPTCS.267.5:16Carnap: An Open Framework for Formal Reasoning in the BrowserGraham Leach-Krouse0 Kansas State University 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.http://arxiv.org/pdf/1803.03092v1 |
| spellingShingle | Graham Leach-Krouse Carnap: An Open Framework for Formal Reasoning in the Browser Electronic Proceedings in Theoretical Computer Science |
| title | Carnap: An Open Framework for Formal Reasoning in the Browser |
| title_full | Carnap: An Open Framework for Formal Reasoning in the Browser |
| title_fullStr | Carnap: An Open Framework for Formal Reasoning in the Browser |
| title_full_unstemmed | Carnap: An Open Framework for Formal Reasoning in the Browser |
| title_short | Carnap: An Open Framework for Formal Reasoning in the Browser |
| title_sort | carnap an open framework for formal reasoning in the browser |
| url | http://arxiv.org/pdf/1803.03092v1 |
| work_keys_str_mv | AT grahamleachkrouse carnapanopenframeworkforformalreasoninginthebrowser |