Skip to content

Actions: nathan-albin/lean-modulus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 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
Add theorems for spanning trees in graphic matroids and union of bases Compile blueprint #31: Commit 1c91aa7 pushed by nathan-albin
37m 22s main
main
37m 22s
Prove the variational inequality: 2-energy minimizers also minimize t… Compile blueprint #30: Commit b591c0e pushed by nathan-albin
35m 51s main
main
35m 51s
Add pairing module for Duality continuity. Show that pairing with a p… Compile blueprint #29: Commit b16d173 pushed by nathan-albin
35m 25s main
main
35m 25s
Show that the relationship between the Fulkerson dual and the extreme… Compile blueprint #28: Commit 845d498 pushed by nathan-albin
37m 20s main
main
37m 20s
Fix formatting of Lean reference in README Compile blueprint #27: Commit 9c1477b pushed by nathan-albin
37m 16s main
main
37m 16s
Add libyaml-dev to Dockerfile to resolve psych extension LoadError Compile blueprint #26: Commit e3bf7d7 pushed by nathan-albin
37m 35s main
main
37m 35s
Remove duplication ofinfo on index.md and README.md. Prefer README.md Compile blueprint #25: Commit f33e85f pushed by nathan-albin
6m 53s main
main
6m 53s
Add shared infrastructure section to README with details on multigrap… Compile blueprint #24: Commit 88ce743 pushed by nathan-albin
37m 28s main
main
37m 28s
Remove redundant rewrite Compile blueprint #23: Commit c76ac23 pushed by nathan-albin
38m 1s main
main
38m 1s
Simplify proofs in toReal module by reducing simp arguments and enhan… Compile blueprint #22: Commit c682dc6 pushed by nathan-albin
33m 8s main
main
33m 8s
Add AdmissibleTopology module to establish topological properties of … Compile blueprint #21: Commit 5070afa pushed by nathan-albin
46m 2s main
main
46m 2s
Add ExtremePoints.lean: Layer 1 convex-analysis lemmas for duality proof Compile blueprint #20: Commit 03b8db4 pushed by nathan-albin
36m 7s main
main
36m 7s
Add density definitions and related functions to FamilyOfObjects modu… Compile blueprint #19: Commit 1a90c23 pushed by nathan-albin
31m 14s main
main
31m 14s
Add Energy macro definition to common.tex Compile blueprint #18: Commit 07c6f5d pushed by nathan-albin
29m 59s main
main
29m 59s
Add 2-modulus theorems and defer general p duality in documentation Compile blueprint #17: Commit a3530da pushed by nathan-albin
7m 34s main
main
7m 34s
Shorten legend descriptions to a few words each. Compile blueprint #16: Commit 2fe3577 pushed by nathan-albin
23m 33s main
main
23m 33s
Add dependency graph legend and styles; update web.tex for template i… Compile blueprint #15: Commit c292f82 pushed by nathan-albin
23m 47s main
main
23m 47s
Enhance Dockerfile and CONTRIBUTING.md to improve local development s… Compile blueprint #14: Commit f24305b pushed by nathan-albin
24m 1s main
main
24m 1s
Enhance definitions and theorems in common.tex; update fairest_edge_u… Compile blueprint #13: Commit a7dcaff pushed by nathan-albin
8m 14s main
main
8m 14s
Fix missing CSS on deployed homepage by restoring the production asse… Compile blueprint #12: Commit d99913b pushed by nathan-albin
26m 0s main
main
26m 0s
Pin devcontainer Ruby to the exact version CI uses for the homepage b… Compile blueprint #11: Commit d923fca pushed by nathan-albin
23m 50s main
main
23m 50s
Remove checksum entries from Gemfile.lock and update bundled version … Compile blueprint #10: Commit 54b661d pushed by nathan-albin
25m 31s main
main
25m 31s
Update devcontainer setup, enhance .gitignore, and improve homepage c… Compile blueprint #9: Commit 9510558 pushed by nathan-albin
18m 25s main
main
18m 25s
Fix negation handling in independence augmentation theorem to get rid… Compile blueprint #8: Commit 922d543 pushed by nathan-albin
23m 28s main
main
23m 28s
Enhance IsForest theorem with detailed proof structure and additional… Compile blueprint #7: Commit f1eee74 pushed by nathan-albin
39m 24s main
main
39m 24s