A website that does pretty things with Formal Logic