G github.com Carnap – A formal logic framework that runs in the browser 22 points emdashcomma 4 years ago 1 comments