Skip to content

Actions: samvang/StoneDualityInLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

stone duality for BA sorry-free .github/workflows/blueprint.yml #31: Commit 8c5cb0e pushed by samvang
May 22, 2024 20:19 11m 59s master
master
May 22, 2024 20:19 11m 59s
a bit more on prime ideals .github/workflows/blueprint.yml #30: Commit 1eea3c5 pushed by samvang
May 16, 2024 11:39 1m 32s master
master
May 16, 2024 11:39 1m 32s
start to apply PIT to finish proof .github/workflows/blueprint.yml #29: Commit 30d0ce4 pushed by samvang
May 16, 2024 10:14 1m 42s master
master
May 16, 2024 10:14 1m 42s
clean up some more sub-proofs .github/workflows/blueprint.yml #28: Commit e65e611 pushed by samvang
May 5, 2024 09:30 12m 23s master
master
May 5, 2024 09:30 12m 23s
prime ideal theorem sorry free .github/workflows/blueprint.yml #27: Commit 2d890aa pushed by samvang
May 5, 2024 08:50 11m 48s master
master
May 5, 2024 08:50 11m 48s
PIT down to one small sorry.. .github/workflows/blueprint.yml #26: Commit d3f4d59 pushed by samvang
May 4, 2024 14:29 12m 35s master
master
May 4, 2024 14:29 12m 35s
some work on application of zorn's lemma .github/workflows/blueprint.yml #25: Commit 4e0376b pushed by samvang
May 3, 2024 14:51 12m 4s master
master
May 3, 2024 14:51 12m 4s
bump mathlib .github/workflows/blueprint.yml #24: Commit 7f11394 pushed by samvang
May 3, 2024 12:35 46s master
master
May 3, 2024 12:35 46s
Merge pull request #2 from samvang/tomas .github/workflows/blueprint.yml #23: Commit 958ee59 pushed by samvang
May 3, 2024 12:24 12m 20s master
master
May 3, 2024 12:24 12m 20s
trying to prove prime ideal theorem for distributive lattices .github/workflows/blueprint.yml #22: Commit 02cc1b0 pushed by samvang
April 8, 2024 16:07 6m 45s master
master
April 8, 2024 16:07 6m 45s
more work on surjectivity .github/workflows/blueprint.yml #21: Commit 2126a99 pushed by samvang
April 5, 2024 16:53 5m 54s master
master
April 5, 2024 16:53 5m 54s
Create README.md .github/workflows/blueprint.yml #20: Commit e9c1bd3 pushed by samvang
April 4, 2024 10:30 6m 45s master
master
April 4, 2024 10:30 6m 45s
manual merge .github/workflows/blueprint.yml #19: Commit 1ed375b pushed by samvang
April 3, 2024 06:43 5m 57s master
master
April 3, 2024 06:43 5m 57s
more cleanup .github/workflows/blueprint.yml #18: Commit d63cee4 pushed by samvang
April 3, 2024 06:36 6m 10s master
master
April 3, 2024 06:36 6m 10s
correct declaration that was removed .github/workflows/blueprint.yml #17: Commit 7e10abd pushed by samvang
March 29, 2024 18:01 11m 43s master
master
March 29, 2024 18:01 11m 43s
clean up .github/workflows/blueprint.yml #16: Commit 8320657 pushed by samvang
March 29, 2024 08:23 10m 0s master
master
March 29, 2024 08:23 10m 0s
Merge branch 'master' into master .github/workflows/blueprint.yml #15: Commit 603d260 pushed by samvang
March 29, 2024 08:11 5m 44s master
master
March 29, 2024 08:11 5m 44s
add authors .github/workflows/blueprint.yml #14: Commit 4885191 pushed by samvang
March 28, 2024 17:55 13m 6s master
master
March 28, 2024 17:55 13m 6s
small tweaks .github/workflows/blueprint.yml #13: Commit 513fff7 pushed by samvang
March 28, 2024 17:50 12m 6s master
master
March 28, 2024 17:50 12m 6s
update mathlib .github/workflows/blueprint.yml #12: Commit 8cd0e4d pushed by samvang
March 28, 2024 17:45 13m 29s master
master
March 28, 2024 17:45 13m 29s
blueprint work .github/workflows/blueprint.yml #11: Commit aa1c675 pushed by samvang
March 28, 2024 17:31 5m 27s master
master
March 28, 2024 17:31 5m 27s
modify yml .github/workflows/blueprint.yml #10: Commit 1af2571 pushed by samvang
March 28, 2024 16:36 13m 25s master
master
March 28, 2024 16:36 13m 25s
Merge branch 'faenuccio:master' into master .github/workflows/blueprint.yml #9: Commit 76385de pushed by samvang
March 28, 2024 16:17 1m 22s master
master
March 28, 2024 16:17 1m 22s
more -Rs inserted .github/workflows/blueprint.yml #8: Commit 53fced3 pushed by samvang
March 27, 2024 15:57 1m 24s master
master
March 27, 2024 15:57 1m 24s
revert -R attempt .github/workflows/blueprint.yml #7: Commit 57cb993 pushed by samvang
March 27, 2024 15:54 1m 24s master
master
March 27, 2024 15:54 1m 24s