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

Upgrade deprecated lemmas (#232) ci #203: Commit cfe61bc pushed by PatrickMassot
August 28, 2024 19:54 1m 52s master
master
August 28, 2024 19:54 1m 52s
Upgrade deprecated lemmas ci #202: Pull request #232 opened by pitmonticone
August 28, 2024 18:02 1m 48s pitmonticone:upgrade-theorems
pitmonticone:upgrade-theorems
August 28, 2024 18:02 1m 48s
Some more ci #201: Commit 0a790dc pushed by PatrickMassot
August 28, 2024 16:10 1m 55s linear_algebra
linear_algebra
August 28, 2024 16:10 1m 55s
Bump Lean and Mathlib ci #200: Commit 1a72f07 pushed by PatrickMassot
August 28, 2024 09:54 1m 58s master
master
August 28, 2024 09:54 1m 58s
WIP ci #199: Commit 3ac3d2d pushed by PatrickMassot
August 28, 2024 09:42 2m 4s linear_algebra
linear_algebra
August 28, 2024 09:42 2m 4s
Fix documentation typo in C08 / S01_Groups.lean (#231) ci #198: Commit fdddf1e pushed by PatrickMassot
August 26, 2024 14:10 1m 49s master
master
August 26, 2024 14:10 1m 49s
WIP ci #197: Commit ba9900a pushed by PatrickMassot
August 26, 2024 12:11 2m 3s linear_algebra
linear_algebra
August 26, 2024 12:11 2m 3s
fix compilation errors ci #196: Commit 4787b90 pushed by avigad
August 25, 2024 20:46 1m 46s wip_discrete_math
wip_discrete_math
August 25, 2024 20:46 1m 46s
make a start on the discrete math chapter ci #195: Commit 4a77b18 pushed by avigad
August 25, 2024 19:55 2m 18s wip_discrete_math
wip_discrete_math
August 25, 2024 19:55 2m 18s
Upgrade deprecated lemmas (#230) ci #193: Commit 5053326 pushed by PatrickMassot
August 22, 2024 21:01 1m 59s master
master
August 22, 2024 21:01 1m 59s
Upgrade deprecated lemmas ci #192: Pull request #230 opened by pitmonticone
August 22, 2024 20:29 1m 49s pitmonticone:upgrade-lemmas
pitmonticone:upgrade-lemmas
August 22, 2024 20:29 1m 49s
Convert refine' to refine (#229) ci #191: Commit b07049f pushed by PatrickMassot
August 22, 2024 16:38 1m 49s master
master
August 22, 2024 16:38 1m 49s
Convert refine' to refine ci #190: Pull request #229 opened by pitmonticone
August 22, 2024 16:20 2m 6s pitmonticone:refine'-refine
pitmonticone:refine'-refine
August 22, 2024 16:20 2m 6s
Fix dots (#228) ci #189: Commit 34b136b pushed by PatrickMassot
August 22, 2024 16:13 1m 49s master
master
August 22, 2024 16:13 1m 49s
Fix dots ci #188: Pull request #228 opened by pitmonticone
August 22, 2024 15:58 1m 45s pitmonticone:fix-dots
pitmonticone:fix-dots
August 22, 2024 15:58 1m 45s
add acknowledgments ci #187: Commit 69255a2 pushed by avigad
August 19, 2024 14:45 2m 2s master
master
August 19, 2024 14:45 2m 2s
Fix theorem name in 10.2 ci #186: Commit 5bfb4cf pushed by avigad
August 19, 2024 14:15 1m 48s master
master
August 19, 2024 14:15 1m 48s
Updates to align with final version of lean 4.10.0 ci #185: Commit e73f746 pushed by avigad
August 19, 2024 14:15 1m 50s master
master
August 19, 2024 14:15 1m 50s
missing space ci #184: Commit 805e5be pushed by avigad
August 19, 2024 14:14 1m 51s master
master
August 19, 2024 14:14 1m 51s
Update outdated VS Code command reference ci #183: Commit ab2dcfe pushed by avigad
August 19, 2024 14:13 1m 49s master
master
August 19, 2024 14:13 1m 49s
Fix typo ci #182: Commit 1bd18a8 pushed by avigad
August 19, 2024 14:09 1m 49s master
master
August 19, 2024 14:09 1m 49s
replace rw by simp ci #181: Commit 2956151 pushed by avigad
August 19, 2024 14:09 1m 58s master
master
August 19, 2024 14:09 1m 58s
use where for inductive types ci #180: Commit 8719991 pushed by avigad
August 19, 2024 14:08 1m 51s master
master
August 19, 2024 14:08 1m 51s
Fix theorem name in 10.2 ci #179: Pull request #226 opened by Yuhta
August 12, 2024 19:37 1m 46s Yuhta:fix
Yuhta:fix
August 12, 2024 19:37 1m 46s
Typos ci #177: Pull request #224 opened by yannickseurin
August 1, 2024 07:37 1m 46s yannickseurin:typos
yannickseurin:typos
August 1, 2024 07:37 1m 46s