Skip to content

Actions: pygae/lean-ga

Actions

.github/workflows/lean_build.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_build.yml
57 workflow runs
57 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Base change (and complexification) of quadratic forms .github/workflows/lean_build.yml #379: Pull request #31 synchronize by eric-wieser
October 25, 2023 15:12 9m 0s eric-wieser/tensor_base_change
eric-wieser/tensor_base_change
October 25, 2023 15:12 9m 0s
Merge branch 'master' into eric-wieser/tensor_base_change .github/workflows/lean_build.yml #378: Commit 8b59e00 pushed by eric-wieser
October 25, 2023 15:12 10m 27s eric-wieser/tensor_base_change
eric-wieser/tensor_base_change
October 25, 2023 15:12 10m 27s
Add mathlib link .github/workflows/lean_build.yml #377: Commit a7708f1 pushed by eric-wieser
October 25, 2023 15:11 11m 9s eric-wieser/tensor_base_change
eric-wieser/tensor_base_change
October 25, 2023 15:11 11m 9s
Minor fixes for Clifford algebra definitions .github/workflows/lean_build.yml #376: Commit b54cdda pushed by utensil
August 25, 2023 05:13 11m 26s blueprint
blueprint
August 25, 2023 05:13 11m 26s
sorry-free .github/workflows/lean_build.yml #375: Commit 0947a6d pushed by eric-wieser
August 20, 2023 12:50 3m 44s master
master
August 20, 2023 12:50 3m 44s
expand the laurents example .github/workflows/lean_build.yml #374: Commit 3a06d05 pushed by eric-wieser
August 20, 2023 11:47 7m 34s master
master
August 20, 2023 11:47 7m 34s
tweak .github/workflows/lean_build.yml #373: Commit 55110dd pushed by eric-wieser
August 4, 2023 11:31 6m 56s eric-wieser/tensor_base_change
eric-wieser/tensor_base_change
August 4, 2023 11:31 6m 56s
missing file .github/workflows/lean_build.yml #372: Commit 88af79f pushed by eric-wieser
August 4, 2023 11:30 7m 50s eric-wieser/tensor_base_change
eric-wieser/tensor_base_change
August 4, 2023 11:30 7m 50s
fix docstrings .github/workflows/lean_build.yml #371: Commit f6e5a6f pushed by eric-wieser
August 4, 2023 11:19 1m 43s eric-wieser/tensor_base_change
eric-wieser/tensor_base_change
August 4, 2023 11:19 1m 43s
complexification of reverse is also trivial .github/workflows/lean_build.yml #370: Commit c65cc7b pushed by eric-wieser
August 4, 2023 08:55 1m 42s eric-wieser/tensor_base_change
eric-wieser/tensor_base_change
August 4, 2023 08:55 1m 42s
involution lemma .github/workflows/lean_build.yml #369: Commit f7917e3 pushed by eric-wieser
August 3, 2023 20:56 9m 5s eric-wieser/tensor_base_change
eric-wieser/tensor_base_change
August 3, 2023 20:56 9m 5s
add the exterior algebra functor too for good measure .github/workflows/lean_build.yml #368: Commit 5a4d578 pushed by eric-wieser
July 28, 2023 18:30 5m 15s master
master
July 28, 2023 18:30 5m 15s
add terminal object .github/workflows/lean_build.yml #367: Commit 7657a75 pushed by eric-wieser
July 27, 2023 13:26 6m 53s master
master
July 27, 2023 13:26 6m 53s
fix build error .github/workflows/lean_build.yml #366: Commit 5704223 pushed by eric-wieser
July 27, 2023 12:23 3m 17s master
master
July 27, 2023 12:23 3m 17s
semilinearity .github/workflows/lean_build.yml #365: Commit a5c2656 pushed by eric-wieser
July 23, 2023 13:45 1m 47s master
master
July 23, 2023 13:45 1m 47s
fix crash .github/workflows/lean_build.yml #364: Commit f92f012 pushed by eric-wieser
July 22, 2023 11:17 2m 59s master
master
July 22, 2023 11:17 2m 59s
Base change (and complexification) of quadratic forms .github/workflows/lean_build.yml #363: Pull request #31 synchronize by eric-wieser
July 22, 2023 10:22 6m 4s eric-wieser/tensor_base_change
eric-wieser/tensor_base_change
July 22, 2023 10:22 6m 4s
generalize .github/workflows/lean_build.yml #362: Commit 69a38ce pushed by eric-wieser
July 22, 2023 10:22 7m 28s eric-wieser/tensor_base_change
eric-wieser/tensor_base_change
July 22, 2023 10:22 7m 28s
Base change (and complexification) of quadratic forms .github/workflows/lean_build.yml #361: Pull request #31 synchronize by eric-wieser
July 21, 2023 22:34 6m 23s eric-wieser/tensor_base_change
eric-wieser/tensor_base_change
July 21, 2023 22:34 6m 23s
docstrings .github/workflows/lean_build.yml #360: Commit f60556e pushed by eric-wieser
July 21, 2023 22:34 7m 21s eric-wieser/tensor_base_change
eric-wieser/tensor_base_change
July 21, 2023 22:34 7m 21s
Base change (and complexification) of quadratic forms .github/workflows/lean_build.yml #359: Pull request #31 synchronize by eric-wieser
July 21, 2023 22:12 6m 24s eric-wieser/tensor_base_change
eric-wieser/tensor_base_change
July 21, 2023 22:12 6m 24s
fully sorry-free! .github/workflows/lean_build.yml #358: Commit b1e7844 pushed by eric-wieser
July 21, 2023 22:12 6m 22s eric-wieser/tensor_base_change
eric-wieser/tensor_base_change
July 21, 2023 22:12 6m 22s
Base change (and complexification) of quadratic forms .github/workflows/lean_build.yml #357: Pull request #31 synchronize by eric-wieser
July 21, 2023 13:59 5m 34s eric-wieser/tensor_base_change
eric-wieser/tensor_base_change
July 21, 2023 13:59 5m 34s
one remains, but it's false .github/workflows/lean_build.yml #356: Commit 7f5385c pushed by eric-wieser
July 21, 2023 13:59 4m 34s eric-wieser/tensor_base_change
eric-wieser/tensor_base_change
July 21, 2023 13:59 4m 34s
Base change (and complexification) of quadratic forms .github/workflows/lean_build.yml #355: Pull request #31 synchronize by eric-wieser
July 21, 2023 13:37 6m 1s eric-wieser/tensor_base_change
eric-wieser/tensor_base_change
July 21, 2023 13:37 6m 1s