10 citations · 11 across the 5 of their papers we have counts for
1 paper · 1 filter
Graham Leach-Krouse
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, an…