search

martinescardo / TypeTopology

Logical manifestations of topological concepts, and other things, via the univalent point of view.
GNU General Public License v3.0
228 stars 42 forks source link

A few lemmas for the formalizations of connections between small and connected types #294

Closed IanRay11 closed 3 weeks ago

IanRay11 commented 3 months ago

I was having a github issue so I am just pushing my current progress

IanRay11 commented 2 months ago

@tomdjong I have recently experienced a huge slow down since I added all my computations rules. Any ideas why this is happening?

tomdjong commented 2 months ago

@IanRay11 Let's discuss this in the thread on Discord instead. For now, let me suggest that you try to isolate the issue by (un)commenting parts of the code and experimenting.

tomdjong commented 1 month ago

@IanRay11 and I agreed that this will PR will be split in three smaller PRs to facilitate reviewing.

IanRay11 commented 3 weeks ago

I think this can be closed now right? @tomdjong