Skip to content

Actions: rahulc29/realizability

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
158 workflow runs
158 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #61: by rahulc29
January 3, 2024 16:46 48s master
master
January 3, 2024 16:46 48s
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
pages build and deployment pages-build-deployment #60: by rahulc29
December 31, 2023 19:50 41s master
master
December 31, 2023 19:50 41s
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
pages build and deployment pages-build-deployment #59: by rahulc29
December 30, 2023 14:16 42s master
master
December 30, 2023 14:16 42s
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
pages build and deployment pages-build-deployment #58: by rahulc29
December 29, 2023 14:14 51s master
master
December 29, 2023 14:14 51s
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
pages build and deployment pages-build-deployment #57: by rahulc29
December 28, 2023 15:00 51s master
master
December 28, 2023 15:00 51s
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
pages build and deployment pages-build-deployment #56: by rahulc29
December 27, 2023 05:58 46s master
master
December 27, 2023 05:58 46s
pages build and deployment pages-build-deployment #55: by rahulc29
December 26, 2023 07:34 43s master
master
December 26, 2023 07:34 43s
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
pages build and deployment pages-build-deployment #54: by rahulc29
December 24, 2023 22:55 48s master
master
December 24, 2023 22:55 48s
pages build and deployment pages-build-deployment #53: by rahulc29
December 24, 2023 21:03 45s master
master
December 24, 2023 21:03 45s
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
pages build and deployment pages-build-deployment #52: by rahulc29
December 24, 2023 01:27 49s master
master
December 24, 2023 01:27 49s
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
pages build and deployment pages-build-deployment #51: by rahulc29
December 21, 2023 22:35 50s master
master
December 21, 2023 22:35 50s
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
pages build and deployment pages-build-deployment #50: by rahulc29
December 21, 2023 07:19 54s master
master
December 21, 2023 07:19 54s
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
pages build and deployment pages-build-deployment #49: by rahulc29
December 21, 2023 02:13 1m 2s master
master
December 21, 2023 02:13 1m 2s