Skip to content

Actions: avigad/mathematics_in_lean_source

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
218 workflow runs
218 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Polish and add exercises ci #230: Commit f5fffff pushed by PatrickMassot
September 16, 2024 13:09 2m 17s linear_algebra
linear_algebra
September 16, 2024 13:09 2m 17s
Fix build ci #229: Commit 9daf81b pushed by PatrickMassot
September 16, 2024 08:57 2m 4s linear_algebra
linear_algebra
September 16, 2024 08:57 2m 4s
Bump Mathlib ci #228: Commit 085d404 pushed by PatrickMassot
September 16, 2024 08:55 2m 1s linear_algebra
linear_algebra
September 16, 2024 08:55 2m 1s
Start text on matrices ci #227: Commit 99beea3 pushed by PatrickMassot
September 16, 2024 08:08 2m 19s linear_algebra
linear_algebra
September 16, 2024 08:08 2m 19s
Add some TODOs ci #226: Commit 6bdcebc pushed by PatrickMassot
September 15, 2024 22:00 2m 0s linear_algebra
linear_algebra
September 15, 2024 22:00 2m 0s
Polish a bit section 1 and 2 ci #225: Commit 23e4029 pushed by PatrickMassot
September 15, 2024 21:37 2m 0s linear_algebra
linear_algebra
September 15, 2024 21:37 2m 0s
Split into files ci #224: Commit 87e2de6 pushed by PatrickMassot
September 15, 2024 14:09 2m 8s linear_algebra
linear_algebra
September 15, 2024 14:09 2m 8s
Add some about Submodule.span ci #223: Commit 2fefd5b pushed by PatrickMassot
September 14, 2024 18:27 2m 0s linear_algebra
linear_algebra
September 14, 2024 18:27 2m 0s
Enhance readability in VS Code (#239) ci #222: Commit dd607c6 pushed by PatrickMassot
September 14, 2024 17:18 1m 48s master
master
September 14, 2024 17:18 1m 48s
Enhance readability in VS Code ci #221: Pull request #239 synchronize by pitmonticone
September 14, 2024 17:17 1m 47s pitmonticone:enhance-readability-vscode
pitmonticone:enhance-readability-vscode
September 14, 2024 17:17 1m 47s
Enhance readability in VS Code ci #220: Pull request #239 opened by pitmonticone
September 14, 2024 16:52 1m 50s pitmonticone:enhance-readability-vscode
pitmonticone:enhance-readability-vscode
September 14, 2024 16:52 1m 50s
Fix typo (#238) ci #219: Commit 364d319 pushed by PatrickMassot
September 14, 2024 15:36 2m 1s master
master
September 14, 2024 15:36 2m 1s
Fix typo ci #218: Pull request #238 opened by pitmonticone
September 14, 2024 13:55 1m 47s pitmonticone:fix-typo
pitmonticone:fix-typo
September 14, 2024 13:55 1m 47s
Kernels lemma exercise and eigenvalues ci #217: Commit 5f33b70 pushed by PatrickMassot
September 9, 2024 14:11 2m 3s linear_algebra
linear_algebra
September 9, 2024 14:11 2m 3s
update acknowledgments ci #215: Commit a9e8f49 pushed by avigad
September 8, 2024 20:53 1m 49s master
master
September 8, 2024 20:53 1m 49s
Correct minor informal math typo in S03_Infinitely_Many_Primes.lean ci #214: Commit dda3bb6 pushed by avigad
September 8, 2024 20:15 1m 49s master
master
September 8, 2024 20:15 1m 49s
Update lake-manifest.json ci #213: Commit 398dbcb pushed by avigad
September 8, 2024 20:14 1m 59s master
master
September 8, 2024 20:14 1m 59s
Explain dimension in general case. ci #211: Commit 1a4ceb6 pushed by PatrickMassot
September 6, 2024 16:44 2m 15s linear_algebra
linear_algebra
September 6, 2024 16:44 2m 15s
Bump Lean and Mathlib ci #210: Pull request #234 synchronize by pitmonticone
September 4, 2024 12:16 1m 51s pitmonticone:bump
pitmonticone:bump
September 4, 2024 12:16 1m 51s
Bump Lean and Mathlib ci #209: Pull request #234 synchronize by pitmonticone
September 3, 2024 12:11 1m 51s pitmonticone:bump
pitmonticone:bump
September 3, 2024 12:11 1m 51s
Bump Lean and Mathlib ci #208: Pull request #234 synchronize by pitmonticone
September 2, 2024 12:14 2m 0s pitmonticone:bump
pitmonticone:bump
September 2, 2024 12:14 2m 0s
Bump Lean and Mathlib ci #207: Pull request #234 synchronize by pitmonticone
September 2, 2024 08:02 2m 3s pitmonticone:bump
pitmonticone:bump
September 2, 2024 08:02 2m 3s
Bump Lean and Mathlib ci #206: Pull request #234 opened by pitmonticone
August 31, 2024 16:49 1m 45s pitmonticone:bump
pitmonticone:bump
August 31, 2024 16:49 1m 45s
Some more dimension ci #205: Commit 6cd1e7b pushed by PatrickMassot
August 30, 2024 21:53 1m 58s linear_algebra
linear_algebra
August 30, 2024 21:53 1m 58s
Bump Mathlib to get Finsupp.linearCombination ci #204: Commit 46733b6 pushed by PatrickMassot
August 30, 2024 15:56 2m 4s linear_algebra
linear_algebra
August 30, 2024 15:56 2m 4s