▲ Vulcan - A JavaScript Automated Proof System at rmarcus.info▼1 up and 0 down, posted by eskimoblood 4035 days ago discuss