Popular repositories Loading

1. carneades-4 carneades-4 Public

   Version 4 of Carneades, implemented in Go

   Go 51 13

2. carneades-3 carneades-3 Public

   Third version of Carneades, an integrated set of tools for argument (re)construction, evaluation, mapping and interchange.

   Clojure 36 6

3. carneades-2 carneades-2 Public

   Second version of Carneades, a single-user desktop application, implemented in Clojure, with a graphical user interface. Also known as the Carneades Editor.

   Clojure 4 1

4. carneades-1 carneades-1 Public

   First version of Carneades, implemented in Scheme

   Scheme 3 2

5. caes2-formalization caes2-formalization Public

   Isabelle Formalization of Carneades Argument Evaluation Structures, Version 2

   Isabelle 2

6. carneades.github.io carneades.github.io Public

   Carneades Website

   HTML 1