Skip to content

Actions: rahulc29/realizability

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
This workflow was disabled manually.
95 workflow runs
95 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add hairy associativity proof .github/workflows/main.yml #63: Commit 9a06266 pushed by rahulc29
January 5, 2024 15:33 20m 57s master
master
January 5, 2024 15:33 20m 57s
Merge branch 'master' of github.com:rahulc29/realizability .github/workflows/main.yml #62: Commit 90c72b4 pushed by rahulc29
January 5, 2024 10:16 19m 57s master
master
January 5, 2024 10:16 19m 57s
Create LICENSE .github/workflows/main.yml #61: Commit ddfcd5e pushed by rahulc29
January 4, 2024 17:22 19m 54s master
master
January 4, 2024 17:22 19m 54s
Update definitions of algebra .github/workflows/main.yml #60: Commit c2de082 pushed by rahulc29
January 3, 2024 16:46 19m 52s master
master
January 3, 2024 16:46 19m 52s
Add algebraic structure on predicates .github/workflows/main.yml #59: Commit 0963ff0 pushed by rahulc29
December 31, 2023 19:50 19m 6s master
master
December 31, 2023 19:50 19m 6s
Add prealgebra structure for meets .github/workflows/main.yml #58: Commit fed10b0 pushed by rahulc29
December 30, 2023 14:16 19m 25s master
master
December 30, 2023 14:16 19m 25s
Remove auxillary files .github/workflows/main.yml #57: Commit 72c436c pushed by rahulc29
December 29, 2023 14:14 20m 8s master
master
December 29, 2023 14:14 20m 8s
Commit before major refactor .github/workflows/main.yml #56: Commit 5d8c7d6 pushed by rahulc29
December 28, 2023 15:00 19m 36s master
master
December 28, 2023 15:00 19m 36s
Add one side of associativity proof .github/workflows/main.yml #55: Commit d142749 pushed by rahulc29
December 27, 2023 05:58 20m 19s master
master
December 27, 2023 05:58 20m 19s
Add join proofs for predicate algebra .github/workflows/main.yml #54: Commit 97b1bd6 pushed by rahulc29
December 26, 2023 07:34 20m 27s master
master
December 26, 2023 07:34 20m 27s
Start Heyting Algebra proofs .github/workflows/main.yml #53: Commit ad69d82 pushed by rahulc29
December 24, 2023 22:55 19m 42s master
master
December 24, 2023 22:55 19m 42s
Define Heyting algebra .github/workflows/main.yml #52: Commit 94aa9e0 pushed by rahulc29
December 24, 2023 21:03 19m 17s master
master
December 24, 2023 21:03 19m 17s
Prove universal property of coproducts .github/workflows/main.yml #51: Commit 1edb894 pushed by rahulc29
December 24, 2023 01:27 21m 1s master
master
December 24, 2023 01:27 21m 1s
Define join for predicate algebra .github/workflows/main.yml #50: Commit 49be095 pushed by rahulc29
December 21, 2023 22:35 20m 5s master
master
December 21, 2023 22:35 20m 5s
Update conjectural SIP .github/workflows/main.yml #49: Commit 04db06c pushed by rahulc29
December 21, 2023 07:19 20m 27s master
master
December 21, 2023 07:19 20m 27s
Add poset reflection .github/workflows/main.yml #48: Commit 15082c6 pushed by rahulc29
December 21, 2023 02:13 19m 24s master
master
December 21, 2023 02:13 19m 24s
Prove Heyting implication is right adjoint of meet .github/workflows/main.yml #47: Commit d68ed04 pushed by rahulc29
December 20, 2023 17:06 19m 37s master
master
December 20, 2023 17:06 19m 37s
Update HTML .github/workflows/main.yml #46: Commit 95f6fbc pushed by rahulc29
December 20, 2023 15:07 19m 58s master
master
December 20, 2023 15:07 19m 58s
Update README.md .github/workflows/main.yml #45: Commit 5d89fa5 pushed by rahulc29
December 18, 2023 19:18 20m 20s master
master
December 18, 2023 19:18 20m 20s
Delete tex directory .github/workflows/main.yml #44: Commit 9ab446b pushed by rahulc29
December 18, 2023 19:06 19m 48s master
master
December 18, 2023 19:06 19m 48s
Update README.md .github/workflows/main.yml #43: Commit 995eef2 pushed by rahulc29
December 18, 2023 15:51 19m 58s master
master
December 18, 2023 15:51 19m 58s
Prove Beck-Chevalley for forall .github/workflows/main.yml #42: Commit 37af59e pushed by rahulc29
December 18, 2023 15:45 20m 3s master
master
December 18, 2023 15:45 20m 3s
Prove Beck-Chevalley for existential .github/workflows/main.yml #41: Commit 1740114 pushed by rahulc29
December 17, 2023 16:17 19m 18s master
master
December 17, 2023 16:17 19m 18s
Add more properties of tripos predicates .github/workflows/main.yml #40: Commit 1a546a3 pushed by rahulc29
December 17, 2023 14:56 19m 54s master
master
December 17, 2023 14:56 19m 54s
Update changes .github/workflows/main.yml #39: Commit d78e5c0 pushed by rahulc29
December 15, 2023 07:43 19m 20s master
master
December 15, 2023 07:43 19m 20s