Skip to content

Actions: coq-community/topology

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
67 workflow runs
67 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Formalize the Banach fixed-point theorem
Docker CI #220: Commit 4b1f952 pushed by Columbus240
October 19, 2024 07:40 3m 17s master
October 19, 2024 07:40 3m 17s
Prove the extreme value theorem
Docker CI #219: Commit e0e7398 pushed by Columbus240
October 5, 2024 10:22 3m 8s master
October 5, 2024 10:22 3m 8s
[B] Remove term "beam" in favour of "ray"
Docker CI #218: Commit ebb093b pushed by Columbus240
October 5, 2024 10:09 3m 3s master
October 5, 2024 10:09 3m 3s
Redo compact_image and compact_image_ens
Docker CI #217: Commit 4208c8e pushed by Columbus240
October 5, 2024 07:46 3m 1s master
October 5, 2024 07:46 3m 1s
Update list of ZornsLemma's files in README.md
Docker CI #216: Commit f890bcf pushed by Columbus240
August 18, 2024 15:11 3m 11s master
August 18, 2024 15:11 3m 11s
Restructure cardinals, finiteness and homeomorphisms
Docker CI #215: Pull request #45 synchronize by Columbus240
August 18, 2024 15:09 3m 17s cardinals
August 18, 2024 15:09 3m 17s
Restructure cardinals, finiteness and homeomorphisms
Docker CI #214: Pull request #45 synchronize by Columbus240
August 18, 2024 14:43 3m 8s cardinals
August 18, 2024 14:43 3m 8s
Restructure cardinals, finiteness and homeomorphisms
Docker CI #213: Pull request #45 synchronize by Columbus240
August 12, 2024 10:50 3m 7s cardinals
August 12, 2024 10:50 3m 7s
[B] Remove Im_compose_inj_surj
Docker CI #212: Commit a16d6e3 pushed by Columbus240
August 12, 2024 08:16 3m 50s master
August 12, 2024 08:16 3m 50s
Update for Coq v8.19, drop support of v8.15 and earlier
Docker CI #211: Pull request #47 synchronize by Columbus240
August 6, 2024 20:26 4m 34s Fix_for_8.19
August 6, 2024 20:26 4m 34s
Restructure cardinals, finiteness and homeomorphisms
Docker CI #210: Pull request #45 synchronize by Columbus240
August 6, 2024 20:26 3m 12s cardinals
August 6, 2024 20:26 3m 12s
Declare DirectedSets.DS_set as coercion
Docker CI #209: Commit 6d54716 pushed by Columbus240
August 6, 2024 20:25 3m 4s master
August 6, 2024 20:25 3m 4s
Restructure cardinals, finiteness and homeomorphisms
Docker CI #208: Pull request #45 synchronize by Columbus240
August 6, 2024 20:23 3m 12s cardinals
August 6, 2024 20:23 3m 12s
Update for Coq v8.19, drop support of v8.15 and earlier
Docker CI #207: Pull request #47 synchronize by Columbus240
August 6, 2024 20:19 3m 2s Fix_for_8.19
August 6, 2024 20:19 3m 2s
Declare DirectedSets.DS_set as coercion
Docker CI #206: Commit c74949c pushed by Columbus240
August 6, 2024 16:17 3m 7s master
August 6, 2024 16:17 3m 7s
Update for Coq v8.19, drop support of v8.15 and earlier
Docker CI #205: Pull request #47 synchronize by Columbus240
August 6, 2024 16:16 3m 5s Fix_for_8.19
August 6, 2024 16:16 3m 5s
Redefine Subnet
Docker CI #204: Pull request #48 opened by Columbus240
August 6, 2024 15:28 3m 6s Subnet
August 6, 2024 15:28 3m 6s
Update for Coq v8.19, drop support of v8.15 and earlier
Docker CI #203: Pull request #47 synchronize by Columbus240
August 6, 2024 15:15 3m 4s Fix_for_8.19
August 6, 2024 15:15 3m 4s
Update for Coq v8.19, drop support of v8.15 and earlier
Docker CI #202: Pull request #47 opened by Columbus240
August 6, 2024 15:12 3m 12s Fix_for_8.19
August 6, 2024 15:12 3m 12s
Sort _CoqProject file
Docker CI #201: Commit 0aab07c pushed by Columbus240
October 15, 2023 08:36 4m 0s master
October 15, 2023 08:36 4m 0s
Restructure cardinals, finiteness and homeomorphisms
Docker CI #200: Pull request #45 synchronize by Columbus240
October 15, 2023 08:27 4m 32s cardinals
October 15, 2023 08:27 4m 32s
Families: Add lemmas about Included
Docker CI #199: Commit 67674a7 pushed by Columbus240
October 15, 2023 08:12 4m 29s master
October 15, 2023 08:12 4m 29s
Restructure cardinals, finiteness and homeomorphisms
Docker CI #198: Pull request #45 synchronize by Columbus240
October 15, 2023 08:12 4m 7s cardinals
October 15, 2023 08:12 4m 7s
Restructure cardinals, finiteness and homeomorphisms
Docker CI #197: Pull request #45 synchronize by Columbus240
October 8, 2023 09:26 3m 47s cardinals
October 8, 2023 09:26 3m 47s
Add notes about code formatting and style
Docker CI #196: Pull request #46 synchronize by Columbus240
October 8, 2023 09:25 4m 9s style
October 8, 2023 09:25 4m 9s