Cambridge version of forallx, from http://people.ds.cam.ac.uk/tecb2/forallx.shtml
This work is licensed under a Creative Commons Attribution 4.0 International License.
OpenLogicProject/forallx-cam
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Cambridge version of forallx, from http://people.ds.cam.ac.uk/tecb2/forallx.shtml
This work is licensed under a Creative Commons Attribution 4.0 International License.