I’ve put up the (beta) version of forall x: Calgary. I’ll hold off on putting it on Amazon for a bit to see if there are any problems. Here’s a list of changes: Fully accessible H…| Open Logic Project
