Skip to content

Actions: leanprover-community/con-nf

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
354 workflow runs
354 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Complete formalisation of Con(NF) .github/workflows/push_main.yml #891: Commit f7c233c pushed by zeramorphic
December 2, 2024 17:39 10m 43s main
main
December 2, 2024 17:39 10m 43s
Finish Hailperin .github/workflows/push_main.yml #890: Commit 6b96a1f pushed by zeramorphic
December 2, 2024 17:33 6m 58s main
main
December 2, 2024 17:33 6m 58s
Begin Hailperin's axiomatisation .github/workflows/push_main.yml #889: Commit 79d0b74 pushed by zeramorphic
December 1, 2024 23:34 15m 2s main
main
December 1, 2024 23:34 15m 2s
Prove sUnion_singleton_symmetric .github/workflows/push_main.yml #888: Commit 2e25ffb pushed by zeramorphic
December 1, 2024 22:10 15m 1s main
main
December 1, 2024 22:10 15m 1s
Induction principle for tangled sets .github/workflows/push_main.yml #887: Commit b0bc9d6 pushed by zeramorphic
December 1, 2024 21:30 14m 33s main
main
December 1, 2024 21:30 14m 33s
Progress on externalising symmetry .github/workflows/push_main.yml #886: Commit 75a59b8 pushed by zeramorphic
December 1, 2024 01:02 14m 21s main
main
December 1, 2024 01:02 14m 21s
Finish exists_allowable_of_fixes .github/workflows/push_main.yml #885: Commit 8ed7ee5 pushed by zeramorphic
December 1, 2024 00:23 15m 3s main
main
December 1, 2024 00:23 15m 3s
Proves atoms and near-litters cases .github/workflows/push_main.yml #884: Commit 2dd04bc pushed by zeramorphic
November 30, 2024 22:59 13m 42s main
main
November 30, 2024 22:59 13m 42s
Prove inflexible_of_inflexible_of_fixes .github/workflows/push_main.yml #883: Commit 0129299 pushed by zeramorphic
November 30, 2024 17:28 14m 10s main
main
November 30, 2024 17:28 14m 10s
Prove atomMemRel_le_of_fixes .github/workflows/push_main.yml #882: Commit 7965dba pushed by zeramorphic
November 30, 2024 17:01 13m 29s main
main
November 30, 2024 17:01 13m 29s
Prove convAtoms_injective .github/workflows/push_main.yml #881: Commit 40d9e2c pushed by zeramorphic
November 30, 2024 16:46 13m 52s main
main
November 30, 2024 16:46 13m 52s
Prove raise_strong' .github/workflows/push_main.yml #880: Commit 251ac75 pushed by zeramorphic
November 30, 2024 13:32 13m 21s main
main
November 30, 2024 13:32 13m 21s
Prove raise_closed' .github/workflows/push_main.yml #879: Commit 6709914 pushed by zeramorphic
November 30, 2024 12:51 13m 36s main
main
November 30, 2024 12:51 13m 36s
Raising prestrength .github/workflows/push_main.yml #878: Commit ce89070 pushed by zeramorphic
November 30, 2024 00:24 13m 33s main
main
November 30, 2024 00:24 13m 33s
Externalisation .github/workflows/push_main.yml #877: Commit e409f3d pushed by zeramorphic
November 29, 2024 22:38 14m 40s main
main
November 29, 2024 22:38 14m 40s
Remove extraneous hypotheses .github/workflows/push_main.yml #876: Commit fa12670 pushed by zeramorphic
November 26, 2024 22:22 13m 17s main
main
November 26, 2024 22:22 13m 17s
Bump mathlib .github/workflows/push_main.yml #875: Commit 214c408 pushed by zeramorphic
November 26, 2024 18:31 13m 23s main
main
November 26, 2024 18:31 13m 23s
Fix all sorries .github/workflows/push_main.yml #874: Commit 9e87cc4 pushed by zeramorphic
November 26, 2024 18:14 13m 56s main
main
November 26, 2024 18:14 13m 56s
Bump mathlib .github/workflows/push_main.yml #873: Commit 9608501 pushed by zeramorphic
November 24, 2024 20:18 13m 39s main
main
November 24, 2024 20:18 13m 39s
Finish main induction .github/workflows/push_main.yml #872: Commit 43a1a3d pushed by zeramorphic
November 24, 2024 19:59 12m 54s main
main
November 24, 2024 19:59 12m 54s
Setup for hypothesis construction .github/workflows/push_main.yml #871: Commit 7e9411c pushed by zeramorphic
November 24, 2024 18:50 14m 15s main
main
November 24, 2024 18:50 14m 15s
Refactor main induction .github/workflows/push_main.yml #870: Commit 2e45ac2 pushed by zeramorphic
November 24, 2024 18:39 10m 53s main
main
November 24, 2024 18:39 10m 53s
Finish coherentData .github/workflows/push_main.yml #869: Commit 892f38d pushed by zeramorphic
November 24, 2024 18:35 4m 53s main
main
November 24, 2024 18:35 4m 53s
Prove tSet_ext in matin induction .github/workflows/push_main.yml #868: Commit 2f1c964 pushed by zeramorphic
November 24, 2024 18:17 3m 12s main
main
November 24, 2024 18:17 3m 12s
preCoherentData_allPerm_of_smulFuzz .github/workflows/push_main.yml #867: Commit c961089 pushed by zeramorphic
November 24, 2024 17:43 3m 1s main
main
November 24, 2024 17:43 3m 1s