A formal logic framework that runs in the browser
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Carnap-Book
Carnap-Client
Carnap-GHCJS
Carnap-Server
Carnap
.gitignore
LICENSE
stack-ghcjs.yaml
stack.yaml