Skip to content

Actions: rahulc29/realizability

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
180 workflow runs
180 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Formulate propositional resizing .github/workflows/main.yml #96: Commit a4b8679 pushed by rahulc29
March 31, 2024 11:59 19m 30s 6-tripos-to-topos-construction
6-tripos-to-topos-construction
March 31, 2024 11:59 19m 30s
Remove emacs temp file .github/workflows/main.yml #95: Commit fd1a173 pushed by rahulc29
March 14, 2024 17:39 20m 1s master
master
March 14, 2024 17:39 20m 1s
pages build and deployment pages-build-deployment #74: by rahulc29
March 14, 2024 17:39 53s master
master
March 14, 2024 17:39 53s
Show mere existence of equalisers .github/workflows/main.yml #94: Commit 6a7058d pushed by rahulc29
March 6, 2024 12:43 19m 44s 6-tripos-to-topos-construction
6-tripos-to-topos-construction
March 6, 2024 12:43 19m 44s
Universal property of equalisers .github/workflows/main.yml #93: Commit 18b9d94 pushed by rahulc29
March 6, 2024 11:08 19m 20s 6-tripos-to-topos-construction
6-tripos-to-topos-construction
March 6, 2024 11:08 19m 20s
Switch to new definitions .github/workflows/main.yml #92: Commit 48f8ce2 pushed by rahulc29
February 29, 2024 20:35 20m 35s 6-tripos-to-topos-construction
6-tripos-to-topos-construction
February 29, 2024 20:35 20m 35s
Start working on classical realizability .github/workflows/main.yml #91: Commit cfb6c59 pushed by rahulc29
February 28, 2024 15:34 22m 20s 13-classical-realizability
13-classical-realizability
February 28, 2024 15:34 22m 20s
Define formula substitution .github/workflows/main.yml #90: Commit aaba130 pushed by rahulc29
February 28, 2024 15:33 19m 53s 13-classical-realizability
13-classical-realizability
February 28, 2024 15:33 19m 53s
Revert to preorder predicates .github/workflows/main.yml #89: Commit 026a925 pushed by rahulc29
February 27, 2024 14:38 19m 26s 6-tripos-to-topos-construction
6-tripos-to-topos-construction
February 27, 2024 14:38 19m 26s
Archive commit .github/workflows/main.yml #88: Commit 8d69eab pushed by rahulc29
February 26, 2024 19:04 20m 43s 6-tripos-to-topos-construction
6-tripos-to-topos-construction
February 26, 2024 19:04 20m 43s
Add terminal object of RT .github/workflows/main.yml #87: Commit 2e1ee97 pushed by rahulc29
February 16, 2024 21:40 19m 13s 6-tripos-to-topos-construction
6-tripos-to-topos-construction
February 16, 2024 21:40 19m 13s
Finish goals .github/workflows/main.yml #86: Commit 8f196fc pushed by rahulc29
February 13, 2024 14:37 19m 29s 6-tripos-to-topos-construction
6-tripos-to-topos-construction
February 13, 2024 14:37 19m 29s
Define topos object and morphisms .github/workflows/main.yml #85: Commit 60e4c40 pushed by rahulc29
February 12, 2024 18:16 19m 12s 6-tripos-to-topos-construction
6-tripos-to-topos-construction
February 12, 2024 18:16 19m 12s
Add documentation .github/workflows/main.yml #84: Commit 1ceb218 pushed by rahulc29
February 8, 2024 19:00 19m 26s 6-tripos-to-topos-construction
6-tripos-to-topos-construction
February 8, 2024 19:00 19m 26s
Update Topos Modules .github/workflows/main.yml #83: Commit bce456a pushed by rahulc29
February 8, 2024 14:19 19m 53s 6-tripos-to-topos-construction
6-tripos-to-topos-construction
February 8, 2024 14:19 19m 53s
Start working on relational context structural operations .github/workflows/main.yml #82: Commit 0a0ef50 pushed by rahulc29
February 6, 2024 16:37 19m 45s 6-tripos-to-topos-construction
6-tripos-to-topos-construction
February 6, 2024 16:37 19m 45s
Commit before refactor .github/workflows/main.yml #81: Commit 3375b73 pushed by rahulc29
February 2, 2024 17:04 19m 29s 6-tripos-to-topos-construction
6-tripos-to-topos-construction
February 2, 2024 17:04 19m 29s
Add functional relation stuff .github/workflows/main.yml #80: Commit 458d257 pushed by rahulc29
January 30, 2024 20:38 19m 54s 6-tripos-to-topos-construction
6-tripos-to-topos-construction
January 30, 2024 20:38 19m 54s
Define functional relations .github/workflows/main.yml #79: Commit f6af9d5 pushed by rahulc29
January 30, 2024 17:40 19m 32s 6-tripos-to-topos-construction
6-tripos-to-topos-construction
January 30, 2024 17:40 19m 32s
Render HTML .github/workflows/main.yml #78: Commit 940dcfe pushed by rahulc29
January 30, 2024 14:42 19m 40s 6-tripos-to-topos-construction
6-tripos-to-topos-construction
January 30, 2024 14:42 19m 40s
Define topos objects .github/workflows/main.yml #77: Commit 7223be4 pushed by rahulc29
January 30, 2024 12:26 20m 7s 6-tripos-to-topos-construction
6-tripos-to-topos-construction
January 30, 2024 12:26 20m 7s
Interpret quantifiers .github/workflows/main.yml #76: Commit eb9a962 pushed by rahulc29
January 29, 2024 11:11 21m 40s 6-tripos-to-topos-construction
6-tripos-to-topos-construction
January 29, 2024 11:11 21m 40s
Soundness of substitution and some combinators .github/workflows/main.yml #75: Commit c6a18ca pushed by rahulc29
January 25, 2024 19:10 19m 31s 6-tripos-to-topos-construction
6-tripos-to-topos-construction
January 25, 2024 19:10 19m 31s
Add soundness for propositional connectives .github/workflows/main.yml #74: Commit 1dc4f0d pushed by rahulc29
January 23, 2024 18:20 20m 1s 6-tripos-to-topos-construction
6-tripos-to-topos-construction
January 23, 2024 18:20 20m 1s
Define formula substitution .github/workflows/main.yml #73: Commit aaba130 pushed by rahulc29
January 23, 2024 08:32 19m 45s 6-tripos-to-topos-construction
6-tripos-to-topos-construction
January 23, 2024 08:32 19m 45s