Carnap – A formal logic framework that runs in the browsergithub.com/Carnap22 pointsemdashcomma4 years ago