Skip to content

Actions: anishrajeev/ModelTheoryFun

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Updating Lean Action CI #17: Commit a4b1af1 pushed by anishrajeev
16m 14s main
main
16m 14s
T0 and zero_dim Lean Action CI #16: Commit 17ad30c pushed by anishrajeev
15m 46s main
main
15m 46s
Format Lean Action CI #15: Commit e9df9d1 pushed by anishrajeev
16m 6s main
main
16m 6s
Cleaning up Lean Action CI #14: Commit 48f90a1 pushed by anishrajeev
15m 39s main
main
15m 39s
Cleanup Lean Action CI #13: Commit 8030d03 pushed by anishrajeev
15m 47s main
main
15m 47s
Compactness done, implies Baire Lean Action CI #12: Commit 5d7c76f pushed by anishrajeev
15m 41s main
main
15m 41s
updated readme Lean Action CI #11: Commit 710340e pushed by anishrajeev
17m 16s main
main
17m 16s
Compactness proved, instance of Baire Space Lean Action CI #10: Commit f0f6b66 pushed by anishrajeev
15m 44s main
main
15m 44s
Organizational stuff Lean Action CI #9: Commit 2ed1e62 pushed by anishrajeev
15m 59s main
main
15m 59s
Added stone space, and proved T2 Lean Action CI #8: Commit 782d1af pushed by anishrajeev
15m 52s main
main
15m 52s
Finally done w proving Q satisfies DLO Lean Action CI #7: Commit cfda443 pushed by anishrajeev
14m 44s main
main
14m 44s
I think im doing this wrong Lean Action CI #6: Commit 7ffc5d4 pushed by anishrajeev
14m 20s main
main
14m 20s
rationals r antireflexive Lean Action CI #5: Commit 06c6149 pushed by anishrajeev
11m 27s main
main
11m 27s
rationals r antireflexive Lean Action CI #4: Commit 06c6149 pushed by anishrajeev
13m 1s master
master
13m 1s
Formalized DLO Lean Action CI #3: Commit 45ee841 pushed by anishrajeev
13m 14s main
main
13m 14s
Fixed readme Lean Action CI #2: Commit 01b6d6b pushed by anishrajeev
25m 29s main
main
25m 29s
Defined natural and rational models for lang with 0, 1, and <= rel Create Release #1: Commit e08ea71 pushed by anishrajeev
11s main
main
11s
Defined natural and rational models for lang with 0, 1, and <= rel Lean Action CI #1: Commit e08ea71 pushed by anishrajeev
25m 30s main
main
25m 30s