TY  - RPRT
TI  - Carnap: An Open Framework for Formal Reasoning in the Browser
AU  - Graham Leach-Krouse
PY  - 2018
DO  - 10.4204/eptcs.267.5
UR  - https://arxiv.org/abs/1803.03092
ID  - 1803.03092
ER  -