Running efforts of a HOL reading group mechanising Michael Sipser‘s Introduction to the Theory of Computation Sidney Morris' Topology without Tears.
JamesShaker/TCSReadingGroup
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|