Skip to content

Actions: felixpernegger/pibase-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
518 workflow runs
518 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat: prove T347, a group topology makes the space homogeneous Lean Action CI #531: Pull request #1345 opened by kisonecat
Action required kisonecat:formalize-T347
kisonecat:formalize-T347
Action required
feat: prove T603, separable implies density at most 𝔠 Lean Action CI #530: Pull request #1344 opened by kisonecat
Action required kisonecat:formalize-T603
kisonecat:formalize-T603
Action required
feat: prove T604, cardinality at most 𝔠 implies density at most 𝔠 Lean Action CI #529: Pull request #1343 opened by kisonecat
Action required kisonecat:formalize-T604
kisonecat:formalize-T604
Action required
feat: prove T414, sequentially discrete implies US Lean Action CI #528: Pull request #1342 opened by kisonecat
Action required kisonecat:formalize-T414
kisonecat:formalize-T414
Action required
feat: prove T226, US implies T₁ Lean Action CI #527: Pull request #1341 opened by kisonecat
Action required kisonecat:formalize-T226
kisonecat:formalize-T226
Action required
feat: prove T299, finite implies countably many continuous self-maps Lean Action CI #526: Pull request #1340 opened by kisonecat
Action required kisonecat:formalize-T299
kisonecat:formalize-T299
Action required
feat: prove T297, countably many continuous self-maps implies countable Lean Action CI #525: Pull request #1339 opened by kisonecat
Action required kisonecat:formalize-T297
kisonecat:formalize-T297
Action required
feat: prove T349, indiscrete implies homogeneous Lean Action CI #524: Pull request #1338 opened by kisonecat
Action required kisonecat:formalize-T349
kisonecat:formalize-T349
Action required
feat: prove T633, homogeneity plus a closed point gives T₁ Lean Action CI #523: Pull request #1337 opened by kisonecat
Action required kisonecat:formalize-T633
kisonecat:formalize-T633
Action required
feat: prove T209, an isolated point plus homogeneity gives a discrete space Lean Action CI #522: Pull request #1336 opened by kisonecat
Action required kisonecat:formalize-T209
kisonecat:formalize-T209
Action required
feat: prove T313, hyperconnected implies the countable chain condition Lean Action CI #521: Pull request #1335 opened by kisonecat
Action required kisonecat:formalize-T313
kisonecat:formalize-T313
Action required
feat: prove T597, hyperconnected with an isolated point gives a generic point Lean Action CI #520: Pull request #1334 opened by kisonecat
Action required kisonecat:formalize-T597
kisonecat:formalize-T597
Action required
feat: prove T593, a generic point makes the space hyperconnected Lean Action CI #519: Pull request #1333 opened by kisonecat
Action required kisonecat:formalize-T593
kisonecat:formalize-T593
Action required
feat: prove T592, a generic point makes the space separable Lean Action CI #518: Pull request #1332 opened by kisonecat
Action required kisonecat:formalize-T592
kisonecat:formalize-T592
Action required
feat: prove T259, countable implies a countable network Lean Action CI #517: Pull request #1331 opened by kisonecat
Action required kisonecat:formalize-T259
kisonecat:formalize-T259
Action required
feat: prove T218, discrete implies locally finite Lean Action CI #516: Pull request #1330 opened by kisonecat
Action required kisonecat:formalize-T218
kisonecat:formalize-T218
Action required
feat: prove T238, countable implies locally countable Lean Action CI #515: Pull request #1329 opened by kisonecat
Action required kisonecat:formalize-T238
kisonecat:formalize-T238
Action required
feat: prove T757, the empty space is locally 1-Euclidean Lean Action CI #514: Pull request #1328 opened by kisonecat
Action required kisonecat:formalize-T757
kisonecat:formalize-T757
Action required
feat: prove T138, cardinality 𝔠 is not less than 𝔠 Lean Action CI #513: Pull request #1327 opened by kisonecat
Action required kisonecat:formalize-T138
kisonecat:formalize-T138
Action required
feat: prove T669, metrizable implies monotonically normal Lean Action CI #512: Pull request #1326 opened by kisonecat
Action required kisonecat:formalize-T669
kisonecat:formalize-T669
Action required
compare theorem statements between this repo and the π-base Lean Action CI #511: Pull request #1325 opened by kisonecat
Action required kisonecat:check-theorem-statements
kisonecat:check-theorem-statements
Action required
Fix the 404 at the site root and the 0% property count on the dashboa… Lean Action CI #510: Commit 1e10da4 pushed by felixpernegger
7m 33s master
master
7m 33s
Fix the 404 at the site root and the 0% property count on the dashboa… Deploy project site to Pages #8: Commit 1e10da4 pushed by felixpernegger
46m 14s master
master
46m 14s
Fix the 404 at the site root and the 0% property count on the dashboard Lean Action CI #509: Pull request #1323 synchronize by Deicyde
2m 17s Deicyde:fix/pages-single-deployment
Deicyde:fix/pages-single-deployment
2m 17s
Fix the 404 at the site root and the 0% property count on the dashboard Lean Action CI #508: Pull request #1323 opened by Deicyde
8m 34s Deicyde:fix/pages-single-deployment
Deicyde:fix/pages-single-deployment
8m 34s