Skip to content

Actions: rshlyakh/ProjectiveGeometry

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' of https://github.com/rshlyakh/ProjectiveGeometry Lean Action CI #26: Commit 92096a6 pushed by rshlyakh
11m 59s master
master
11m 59s
Update README.md Lean Action CI #25: Commit 62b068b pushed by rshlyakh
11m 47s master
master
11m 47s
Update README.md Lean Action CI #24: Commit bd34238 pushed by rshlyakh
10m 39s master
master
10m 39s
Typo Lean Action CI #23: Commit 5f51bac pushed by rshlyakh
11m 26s master
master
11m 26s
Add Axiom 6 to the README Lean Action CI #22: Commit daf1116 pushed by rshlyakh
11m 35s master
master
11m 35s
Update README to include projective 3-space Lean Action CI #21: Commit 7e38f68 pushed by rshlyakh
11m 34s master
master
11m 34s
Minor edits Lean Action CI #20: Commit 0aa4862 pushed by rshlyakh
11m 39s master
master
11m 39s
Additional fixes Lean Action CI #19: Commit 0457035 pushed by rshlyakh
10m 25s master
master
10m 25s
Update README Lean Action CI #18: Commit 808f470 pushed by rshlyakh
11m 20s master
master
11m 20s
Fixed bug, polished, removed LC dependency Lean Action CI #17: Commit eb62682 pushed by rshlyakh
12m 3s master
master
12m 3s
Projective3Space done! Lean Action CI #16: Commit b8d87e2 pushed by rshlyakh
11m 41s master
master
11m 41s
Projective3Space with one sorry Lean Action CI #15: Commit 33baefc pushed by rshlyakh
11m 38s master
master
11m 38s
Projective Planes Lean Action CI #14: Commit da07134 pushed by rshlyakh
17m 27s master
master
17m 27s
Added ProjectivePlane handling, with one proof sorried out Lean Action CI #13: Commit 428fc49 pushed by rshlyakh
9m 32s master
master
9m 32s
added 25point plane example Lean Action CI #12: Commit 216080e pushed by rshlyakh
9m 32s master
master
9m 32s
Update README.md Lean Action CI #11: Commit f5e1a16 pushed by rshlyakh
9m 51s master
master
9m 51s
Update README.md Lean Action CI #10: Commit afd963b pushed by rshlyakh
9m 28s master
master
9m 28s
Added examples file, simplified proofs, edited README Lean Action CI #9: Commit 4365eea pushed by rshlyakh
9m 30s master
master
9m 30s
Update README.md Lean Action CI #8: Commit 0919eda pushed by rshlyakh
9m 10s master
master
9m 10s
Update README Lean Action CI #7: Commit dd53bf4 pushed by rshlyakh
9m 48s master
master
9m 48s
Update README.md Lean Action CI #6: Commit 18fc85c pushed by rshlyakh
9m 43s master
master
9m 43s
Update README.md Lean Action CI #5: Commit bf5ffbf pushed by rshlyakh
9m 27s master
master
9m 27s
Fix formatting Lean Action CI #4: Commit f9677af pushed by rshlyakh
9m 42s master
master
9m 42s
Enhance README with definitions and usage examples Lean Action CI #3: Commit 5481ca3 pushed by rshlyakh
9m 18s master
master
9m 18s
Initial commit Lean Action CI #2: Commit a20f5fd pushed by rshlyakh
8m 47s master
master
8m 47s