Skip to content

Actions: daniel-levin/Minimathlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
46 workflow runs
46 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

more subtypes Lean Action CI #47: Commit 1f115b7 pushed by daniel-levin
17s mainline
mainline
17s
progress Lean Action CI #46: Commit 2c6dbe9 pushed by daniel-levin
18s mainline
mainline
18s
experimenting with subtypes and notation Lean Action CI #45: Commit cffb3c2 pushed by daniel-levin
19s mainline
mainline
19s
Lean automation Lean Action CI #44: Commit 7364fdd pushed by daniel-levin
18s mainline
mainline
18s
somehow, even more awkward! Lean Action CI #43: Commit c924acf pushed by daniel-levin
22s mainline
mainline
22s
question Lean Action CI #42: Commit 093caff pushed by daniel-levin
23s tci
tci
23s
questionable definitions Lean Action CI #41: Commit eafe1ff pushed by daniel-levin
17s mainline
mainline
17s
refined defns of nhds Lean Action CI #40: Commit 7ffdfd6 pushed by daniel-levin
28s mainline
mainline
28s
define nhds Lean Action CI #39: Commit 68e5c89 pushed by daniel-levin
25s mainline
mainline
25s
powers Lean Action CI #38: Commit 2068dee pushed by daniel-levin
19s mainline
mainline
19s
niceties to make group ops less unnatural Lean Action CI #37: Commit 0366891 pushed by daniel-levin
25s mainline
mainline
25s
golf. Lean Action CI #36: Commit 44e665c pushed by daniel-levin
30s mainline
mainline
30s
long-winded proof. Lean Action CI #35: Commit 6edf351 pushed by daniel-levin
19s mainline
mainline
19s
explore tactics Lean Action CI #34: Commit 66b0209 pushed by daniel-levin
19s mainline
mainline
19s
examples Lean Action CI #33: Commit b5b6ff3 pushed by daniel-levin
17s mainline
mainline
17s
Examples for Set Lean Action CI #32: Commit 58e4d40 pushed by daniel-levin
24s mainline
mainline
24s
neaten Topology.lean Lean Action CI #31: Commit ecf0b17 pushed by daniel-levin
24s mainline
mainline
24s
simpler proofs Lean Action CI #30: Commit bd6e0d4 pushed by daniel-levin
22s mainline
mainline
22s
Merge pull request #1 from euprunin/build-all Lean Action CI #29: Commit ed67c1c pushed by daniel-levin
21s mainline
mainline
21s
indexed de Morgan Lean Action CI #28: Commit f26b7d5 pushed by daniel-levin
19s mainline
mainline
19s
put subset in Set module Lean Action CI #27: Commit 5aef80d pushed by daniel-levin
17s mainline
mainline
17s
formalize some basics in topology with sorries Lean Action CI #26: Commit 97225cd pushed by daniel-levin
17s mainline
mainline
17s
don't use stable after all Lean Action CI #25: Commit e4025cc pushed by daniel-levin
16s mainline
mainline
16s
use lean stable Lean Action CI #24: Commit 17374a2 pushed by daniel-levin
9s mainline
mainline
9s
grind our way out of trouble Lean Action CI #23: Commit f9a8626 pushed by daniel-levin
27s mainline
mainline
27s