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

Clean up imports CI #18: Pull request #4 opened by hmonroe
December 5, 2023 01:48 2m 23s master
master
December 5, 2023 01:48 2m 23s
Merge branch 'master' of https://github.com/iehality/logic CI #17: Commit 4e53d49 pushed by iehality
December 4, 2023 15:56 59s master
master
December 4, 2023 15:56 59s
Merge pull request #3 from hmonroe/master CI #16: Commit d35ee34 pushed by iehality
December 4, 2023 09:23 4m 47s master
master
December 4, 2023 09:23 4m 47s
Remove unused sub_pred, ofLeOfReflOfTrans, ext' CI #15: Pull request #3 opened by hmonroe
December 4, 2023 05:29 4m 38s master
master
December 4, 2023 05:29 4m 38s
feat: Semantics CI #14: Commit a02558c pushed by iehality
November 30, 2023 17:55 3m 35s master
master
November 30, 2023 17:55 3m 35s
fix CI #13: Commit f0c5950 pushed by iehality
November 27, 2023 18:29 1m 12s master
master
November 27, 2023 18:29 1m 12s
refactor CI #12: Commit da06654 pushed by iehality
November 27, 2023 18:22 4m 16s master
master
November 27, 2023 18:22 4m 16s
refactor CI #11: Commit aaea488 pushed by iehality
November 25, 2023 08:08 2m 18s master
master
November 25, 2023 08:08 2m 18s
Proof of incompleteness theorem via derivability conditions CI #10: Pull request #1 synchronize by SnO2WMaN
November 23, 2023 17:20 4m 28s SnO2WMaN:provability
SnO2WMaN:provability
November 23, 2023 17:20 4m 28s
feat: Principia CI #9: Commit ad5f85f pushed by iehality
November 23, 2023 15:39 4m 30s master
master
November 23, 2023 15:39 4m 30s
add: HilbertStyle CI #8: Commit 52cd3c6 pushed by iehality
November 22, 2023 21:21 1m 9s master
master
November 22, 2023 21:21 1m 9s
refactor CI #7: Commit 843a8ba pushed by iehality
November 22, 2023 18:05 4m 18s master
master
November 22, 2023 18:05 4m 18s
rename: strong_rec → nat_omega_rec CI #6: Commit 9f48e40 pushed by iehality
November 22, 2023 17:31 4m 14s master
master
November 22, 2023 17:31 4m 14s
add: Summary CI #5: Commit 4300290 pushed by iehality
November 22, 2023 14:33 1m 14s master
master
November 22, 2023 14:33 1m 14s
add: substitution notation CI #4: Commit 61981af pushed by iehality
November 22, 2023 10:15 4m 17s master
master
November 22, 2023 10:15 4m 17s
fic refactor CI #3: Commit c816af4 pushed by iehality
November 22, 2023 09:37 4m 16s master
master
November 22, 2023 09:37 4m 16s
Proof of incompleteness theorem via derivability conditions CI #2: Pull request #1 synchronize by SnO2WMaN
November 21, 2023 10:40 28m 44s SnO2WMaN:provability
SnO2WMaN:provability
November 21, 2023 10:40 28m 44s
Merge pull request #2 from SnO2WMaN/add-ci CI #1: Commit ab047c4 pushed by iehality
November 21, 2023 09:36 12m 55s master
master
November 21, 2023 09:36 12m 55s
ProTip! You can narrow down the results and go further in time using created:<2023-11-21 or the other filters available.