Skip to content

Actions: FormalizedFormalLogic/Foundation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
968 workflow runs
968 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix CI #43: Commit 3d7662b pushed by iehality
December 10, 2023 13:33 1m 17s master
master
December 10, 2023 13:33 1m 17s
fix CI #42: Commit c4cfc8a pushed by iehality
December 10, 2023 13:14 4m 12s master
master
December 10, 2023 13:14 4m 12s
feat: inst Gentzen (Sentence L) CI #41: Commit 059942c pushed by iehality
December 10, 2023 13:11 4m 31s master
master
December 10, 2023 13:11 4m 31s
feat: prover CI #40: Commit 8cd67b3 pushed by iehality
December 10, 2023 12:32 4m 26s master
master
December 10, 2023 12:32 4m 26s
Proof of incompleteness theorem via derivability conditions CI #39: Pull request #1 synchronize by SnO2WMaN
December 10, 2023 09:36 4m 33s SnO2WMaN:provability
SnO2WMaN:provability
December 10, 2023 09:36 4m 33s
Proof of incompleteness theorem via derivability conditions CI #38: Pull request #1 synchronize by SnO2WMaN
December 10, 2023 06:40 4m 34s SnO2WMaN:provability
SnO2WMaN:provability
December 10, 2023 06:40 4m 34s
Proof of incompleteness theorem via derivability conditions CI #37: Pull request #1 synchronize by SnO2WMaN
December 10, 2023 06:34 4m 38s SnO2WMaN:provability
SnO2WMaN:provability
December 10, 2023 06:34 4m 38s
Proof of incompleteness theorem via derivability conditions CI #36: Pull request #1 synchronize by SnO2WMaN
December 10, 2023 06:31 4m 32s SnO2WMaN:provability
SnO2WMaN:provability
December 10, 2023 06:31 4m 32s
feat: AutoProver CI #35: Commit 4173a50 pushed by iehality
December 9, 2023 20:56 4m 18s master
master
December 9, 2023 20:56 4m 18s
feat: try_prove CI #34: Commit ef949ec pushed by iehality
December 9, 2023 17:06 4m 37s master
master
December 9, 2023 17:06 4m 37s
add: AutoProver CI #33: Commit 1b54423 pushed by iehality
December 9, 2023 08:11 4m 21s master
master
December 9, 2023 08:11 4m 21s
fix CI #32: Commit 4b0f99f pushed by iehality
December 8, 2023 14:12 1m 16s master
master
December 8, 2023 14:12 1m 16s
Merge branch 'master' of https://github.com/iehality/logic CI #31: Commit 3872ce1 pushed by iehality
December 8, 2023 14:09 1m 25s master
master
December 8, 2023 14:09 1m 25s
Merge pull request #7 from hmonroe/master CI #30: Commit 7a12751 pushed by iehality
December 8, 2023 03:24 4m 34s master
master
December 8, 2023 03:24 4m 34s
Should I submit this to mathlib? CI #29: Pull request #7 synchronize by hmonroe
December 7, 2023 20:44 4m 43s hmonroe:master
hmonroe:master
December 7, 2023 20:44 4m 43s
Should I submit this to mathlib? CI #28: Pull request #7 opened by hmonroe
December 7, 2023 18:31 1m 13s hmonroe:master
hmonroe:master
December 7, 2023 18:31 1m 13s
feat: Propositional CI #27: Commit 980a0ce pushed by iehality
December 6, 2023 07:32 4m 18s master
master
December 6, 2023 07:32 4m 18s
Proof of incompleteness theorem via derivability conditions CI #26: Pull request #1 synchronize by SnO2WMaN
December 6, 2023 01:59 1m 4s SnO2WMaN:provability
SnO2WMaN:provability
December 6, 2023 01:59 1m 4s
Proof of incompleteness theorem via derivability conditions CI #25: Pull request #1 synchronize by SnO2WMaN
December 5, 2023 23:57 4m 35s SnO2WMaN:provability
SnO2WMaN:provability
December 5, 2023 23:57 4m 35s
refactor CI #24: Commit fb35dbb pushed by iehality
December 5, 2023 19:41 1m 0s master
master
December 5, 2023 19:41 1m 0s
feat(SelfReference): another proof of first incompleteness CI #23: Commit 6434208 pushed by iehality
December 5, 2023 19:16 3m 57s master
master
December 5, 2023 19:16 3m 57s
fix CI #22: Commit 0fab215 pushed by iehality
December 5, 2023 17:51 4m 44s master
master
December 5, 2023 17:51 4m 44s
add: Diagonal CI #21: Commit 4aa7ab0 pushed by iehality
December 5, 2023 17:40 4m 54s master
master
December 5, 2023 17:40 4m 54s
feat(Vorspiel/Godel) :remove Vorspiel, complement and refactor CI #20: Commit 096cf29 pushed by iehality
December 5, 2023 09:43 1m 8s master
master
December 5, 2023 09:43 1m 8s
Create Godel.lean file for Beta Function Lemma. Removed from Arith. Could you please remove the import from Vorspeil? CI #19: Pull request #5 opened by hmonroe
December 5, 2023 05:41 1m 24s master
master
December 5, 2023 05:41 1m 24s
ProTip! You can narrow down the results and go further in time using created:<2023-12-05 or the other filters available.