IanRay11
IanRay11
I have now completely formalized my paper. I think the comments and structure is pretty good. The biggest remaining problem is some of my proofs are ugly and hard to...
@tomdjong ready for another review at your convenience. I tried to improve naming but I anticapte some more tweaks will be neccesary. Also I resolved the comment on changing S...
@tomdjong I have greatly improved the state of this file. Little to no module nesting and in many cases I succesfully made modules anonymous. Please note that I intentionally left...
@tomdjong I gave names to everything as suggested. Let me know if you have any improvements. I checked everything as resolved but maybe you want to review some of my...
I made some more small changes to comments in light of dropping the full induction principle. I agree that other reviews could be beneficial.
@ayberkt no rush. Also, no expectations about an extremely thorough review. I would appreciate a once over and just see if anything stands out (content or style)
Thanks to you all for helping me polish it and allowing it a home in TypeTopology!
Done.
Now that summer has begun I do plan to get back to some of my work in TypeTopology. Including this