Skip to content

Actions: jacobneu/GeneralizedAlgebra

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
55 workflow runs
55 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
Merge branch 'main' into moreGATs Lean Action CI #108: Commit abaa7d9 pushed by jacobneu
20s moreGATs
moreGATs
20s
Merge pull request #17 from jacobneu/improveStringElim Lean Action CI #107: Commit d2f4029 pushed by jacobneu
18s main
main
18s
Improve string elim Lean Action CI #106: Pull request #17 synchronize by jacobneu
16s improveStringElim
improveStringElim
16s
Merge branch 'main' of https://github.com/jacobneu/GeneralizedAlgebra… Lean Action CI #105: Commit 493383d pushed by jacobneu
28s improveStringElim
improveStringElim
28s
Removed Expr from GAT elab state, made some progress on mkEliminate Lean Action CI #104: Commit 620ee43 pushed by jacobneu
29s abstractMeta
abstractMeta
29s
Merge in handleTransports Lean Action CI #103: Commit 7b6bdfd pushed by jacobneu
1m 46s betterVariables
betterVariables
1m 46s
Some experimentation Lean Action CI #102: Commit 25736d9 pushed by jacobneu
22s include
include
22s
Started work on implicit arg unification Lean Action CI #101: Commit b137e18 pushed by jacobneu
15s implicitArgs
implicitArgs
15s
Updated CwF and PCwF signatures Lean Action CI #100: Commit 1758456 pushed by jacobneu
16s printing
printing
16s
Added boolean and interior algebras Lean Action CI #99: Commit 31c5fef pushed by jacobneu
24s moreGATs
moreGATs
24s
Reintroduced {{ }} for GATs, elaborated as product of all eliminators Lean Action CI #98: Commit 53a3f77 pushed by jacobneu
24s abstractEliminator
abstractEliminator
24s
Merge in main to resolve conflicts Lean Action CI #97: Commit 611bfd9 pushed by jacobneu
2m 31s multiStage
multiStage
2m 31s
Created rawGAT mode Lean Action CI #96: Commit c65ef01 pushed by jacobneu
17s improveVariables
improveVariables
17s
Merge branch 'betterVariables' into optimizeSignature Lean Action CI #95: Commit af306ba pushed by jacobneu
1m 21s wfRestrict
wfRestrict
1m 21s
Cleaned up Forester presentation, particularly with line breaks Lean Action CI #94: Commit c6ad3f4 pushed by jacobneu
18s improveStringElim
improveStringElim
18s
Added semigroups Lean Action CI #93: Commit 2334489 pushed by jacobneu
29s moreGATs
moreGATs
29s
Added graphs Lean Action CI #92: Commit ecab639 pushed by jacobneu
18s moreGATs
moreGATs
18s
Cleaned up Forester presentation, particularly with line breaks Lean Action CI #91: Commit c6ad3f4 pushed by jacobneu
17s forester
forester
17s
Added SF.breakOpportunity to insert breaks; renamed some components i… Lean Action CI #90: Commit 3e360d1 pushed by jacobneu
23s improveStringElim
improveStringElim
23s
Got forester working; used in 2026-04-27 version of genalg forester b… Lean Action CI #89: Commit 6f7208e pushed by jacobneu
18s forester
forester
18s
Fully customized the name of the algebra in DAlg, the algebra and dis… Lean Action CI #88: Commit 84dab2f pushed by jacobneu
14s improveStringElim
improveStringElim
14s
Added ability to supply variable names in command line Lean Action CI #87: Commit dfa1473 pushed by jacobneu
17s improveStringElim
improveStringElim
17s
Got DAlgString working nicely Lean Action CI #86: Commit 17e457b pushed by jacobneu
20s improveStringElim
improveStringElim
20s
Merge pull request #16 from jacobneu/improveVariables Lean Action CI #85: Commit 1e47ae4 pushed by jacobneu
13s main
main
13s
Improve variables Lean Action CI #84: Pull request #16 opened by jacobneu
14s improveVariables
improveVariables
14s