Skip to content

Actions: UCSD-computational-number-theory/lean_abs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
60 workflow runs
60 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update .gitignore Compile blueprint #10: Commit 588dfc2 pushed by pink10000
25m 1s main
main
25m 1s
add lemma for height inclusion, and attempt minimal prime height Compile blueprint #9: Commit c56c93a pushed by pink10000
24m 37s main
main
24m 37s
fix theorem for minimal primes to IsMin Compile blueprint #8: Commit 3a246a4 pushed by pink10000
2m 15s main
main
2m 15s
reordered lemmas Compile blueprint #7: Commit a5fb76d pushed by arnavdandu
2m 10s main
main
2m 10s
fixed hypothesis in height_zero lemma Compile blueprint #6: Commit e3af393 pushed by arnavdandu
2m 13s main
main
2m 13s
removed useless simp Compile blueprint #5: Commit 4e92c9a pushed by arnavdandu
1m 57s main
main
1m 57s
added lemma singleton_of_minimal_prime Compile blueprint #4: Commit 5e14510 pushed by arnavdandu
2m 17s main
main
2m 17s
try minimal_prime_IsMin Compile blueprint #3: Commit 8a9d213 pushed by pink10000
25m 11s main
main
25m 11s
add sorry to compile Compile blueprint #2: Commit 8b558f4 pushed by pink10000
25m 18s main
main
25m 18s
add leanblueprint Compile blueprint #1: Commit 3614e58 pushed by pink10000
2m 1s main
main
2m 1s