Workflow runs · Danelnov/weak-nullstellensatz · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

14 workflow runs

14 workflow runs

updated lean version Lean Action CI #14: Commit 44c3cb4 pushed by Danelnov

2m 18s master

master

2m 18s

adding references to readme Lean Action CI #13: Commit c96611b pushed by Danelnov

1m 55s master

master

1m 55s

modify code to work with general product sets Lean Action CI #12: Commit 74460f8 pushed by Danelnov

1m 56s master

master

1m 56s

modify readme Lean Action CI #11: Commit 0e254b2 pushed by Danelnov

2m 28s master

master

2m 28s

edit the readme Lean Action CI #10: Commit 85e7f9c pushed by Danelnov

2m 10s master

master

2m 10s

The dependence on the polynomial U_A was eliminated, and now the proo… Lean Action CI #9: Commit 388da42 pushed by Danelnov

2m 59s master

master

2m 59s

finished the weak nullstellensatz formalization Lean Action CI #8: Commit cdc0078 pushed by Danelnov

1m 50s master

master

1m 50s

prove vanishingPolyAux_eq_const_add_mem, this is the principal lemma … Lean Action CI #7: Commit 0ce6eae pushed by Danelnov

2m 12s master

master

2m 12s

fix readme Lean Action CI #6: Commit 4dd37da pushed by Danelnov

2m 22s master

master

2m 22s

fix readme, and adding the definition of vanishingPolyAux Lean Action CI #5: Commit 1022fc2 pushed by Danelnov

2m 9s master

master

2m 9s

adding readme Lean Action CI #4: Commit 30d3996 pushed by Danelnov

2m 10s master

master

2m 10s

adding zeroLocusACompl_mem lemma Lean Action CI #3: Commit ab1ddab pushed by Danelnov

1m 53s master

master

1m 53s

adding some definitions and write the statement of nullstellensatz fo… Lean Action CI #2: Commit 344622f pushed by Danelnov

2m 19s master

master

2m 19s

first commit Lean Action CI #1: Commit d5a62e0 pushed by Danelnov

2m 22s master

master

2m 22s