Giters

Milko-R / Carnap

A formal logic framework that runs in the browser

Home Page:carnap.io

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

A formal logic framework that runs in the browser

carnap.io

License:GNU General Public License v3.0

Languages

Language:Haskell 68.6%Language:JavaScript 29.7%Language:CSS 1.7%Language:Emacs Lisp 0.0%