Skip to content

Actions: FrankieeW/QuadraticNumberFields

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
270 workflow runs
270 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
feat: add trichotomy theorems for quadratic extensions and related de… Compile blueprint #39: Commit 36a9e79 pushed by FrankieeW
2h 16m 41s main
main
2h 16m 41s
ci: add release workflow for Lean-only tarball Release Lean Tarball #5: Commit 51d8c59 pushed by FrankieeW
9s v1.1.1
v1.1.1
9s
ci: add release workflow for Lean-only tarball Release Lean Tarball #4: Commit 51d8c59 pushed by FrankieeW
8s v1.1.0
v1.1.0
8s
ci: add release workflow for Lean-only tarball Compile blueprint #38: Commit 51d8c59 pushed by FrankieeW
2h 1m 25s main
main
2h 1m 25s
ci: add release workflow for Lean-only tarball Release Lean Tarball #3: Commit 2e20ef0 pushed by FrankieeW
11s v1.1.0
v1.1.0
11s
ci: add release workflow for Lean-only tarball Compile blueprint #37: Commit 2e20ef0 pushed by FrankieeW
18m 57s main
main
18m 57s
ci: add release workflow for Lean-only tarball Release Lean Tarball #2: Commit 5e0fb7a pushed by FrankieeW
10s v1.1.0
v1.1.0
10s
ci: add release workflow for Lean-only tarball Compile blueprint #36: Commit 5e0fb7a pushed by FrankieeW
5m 21s main
main
5m 21s
ci: add release workflow for Lean-only tarball Compile blueprint #35: Commit 766ad7b pushed by FrankieeW
2m 44s main
main
2m 44s
Release Lean Tarball Release Lean Tarball #1: by FrankieeW
7s v1.1.0
v1.1.0
7s
feat: splitting trichotomy for quadratic number fields Compile blueprint #34: Commit b3d909a pushed by FrankieeW
48m 42s main
main
48m 42s
Remove unimplemented ring-level theorem for separability in quadratic… Compile blueprint #33: Commit 546c456 pushed by FrankieeW
2h 9m 56s main
main
2h 9m 56s
Refactor isSeparable theorem for quadratic extensions and add a ring-… Compile blueprint #32: Commit b6748aa pushed by FrankieeW
2h 15m 41s main
main
2h 15m 41s
Update efg_trichotomy theorem to replace CharZero assumption with rin… Compile blueprint #31: Commit 4245bdd pushed by FrankieeW
2h 4m 50s main
main
2h 4m 50s
Remove isSeparable_fractionRing theorem Compile blueprint #30: Commit b3a1d1a pushed by FrankieeW
2h 19m 18s main
main
2h 19m 18s
WangFrankie Compile blueprint #29: Commit f9564ec pushed by FrankieeW
5m 0s main
main
5m 0s
Add counterexamples for quadratic Dedekind extensions and document tw… Compile blueprint #28: Commit c8d4400 pushed by FrankieeW
2h 16m 52s main
main
2h 16m 52s
Temp3 Compile blueprint #27: Commit 97240f5 pushed by FrankieeW
2h 24m 32s main
main
2h 24m 32s
temp2 Compile blueprint #26: Commit 9488292 pushed by FrankieeW
28m 47s main
main
28m 47s
Add new theorems for efg trichotomy and refine existing definitions i… Compile blueprint #25: Commit f0618bc pushed by FrankieeW
2h 17m 53s main
main
2h 17m 53s
Enhance efg_trichotomy theorem with additional interval cases for g, … Compile blueprint #24: Commit 23bc521 pushed by FrankieeW
2h 15m 57s main
main
2h 15m 57s
Refactor efg_trichotomy theorem and add isSplit_or_isInert_or_isRamif… Compile blueprint #23: Commit 094d3cf pushed by FrankieeW
34m 21s main
main
34m 21s
Prove efg_trichotomy for degree-2 extensions Compile blueprint #22: Commit d3de175 pushed by FrankieeW
2h 12m 17s main
main
2h 12m 17s
Update Defs.lean Compile blueprint #21: Commit b2092c6 pushed by FrankieeW
2h 20m 50s main
main
2h 20m 50s
Change primeOver to primeOverFinset Compile blueprint #20: Commit f9e603b pushed by FrankieeW
55m 50s main
main
55m 50s