As previously reported, we here at Open Logic Central have run surveys to gather some data on the relative success […]
Month: August 2017
A Fistful of Commits
I just checked in a whole bunch of changes to the part on first-order logic. Most of it is in […]