Skip to content

Actions: fplaunchpad/Learn2Lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 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
Visualizer improved Lean Action CI #25: Commit f843fae pushed by UnOrdinary19
1m 24s main
main
1m 24s
Visualizer improved Deploy static content to Pages #2: Commit f843fae pushed by UnOrdinary19
9s main
main
9s
Merge branch 'main' of https://github.com/UnOrdinary19/Lean_formaliza… Lean Action CI #24: Commit 575ef60 pushed by UnOrdinary19
2m 44s main
main
2m 44s
Merge branch 'main' of https://github.com/UnOrdinary19/Lean_formaliza… Deploy static content to Pages #1: Commit 575ef60 pushed by UnOrdinary19
8s main
main
8s
Build fixe Lean Action CI #23: Commit b0571ff pushed by UnOrdinary19
11m 8s main
main
11m 8s
Add Learn2Lean web book Lean Action CI #22: Commit 005f4bc pushed by UnOrdinary19
10m 53s main
main
10m 53s
Cube root trick Lean Action CI #21: Commit fe4b4e9 pushed by UnOrdinary19
9m 56s main
main
9m 56s
CI: build only, drop docgen/Pages deploy Lean Action CI #20: Commit e1e8e59 pushed by UnOrdinary19
7m 36s main
main
7m 36s
Update README Lean Action CI #19: Commit 7b124b7 pushed by UnOrdinary19
15m 14s main
main
15m 14s
Divisibility tests Lean Action CI #18: Commit ca374d4 pushed by UnOrdinary19
15m 35s main
main
15m 35s
Square roots and read me Lean Action CI #17: Commit 8c3ee10 pushed by UnOrdinary19
41m 7s main
main
41m 7s
Division Visualization Lean Action CI #16: Commit ebbc339 pushed by UnOrdinary19
2m 26s main
main
2m 26s
readme updated Lean Action CI #15: Commit 7c4f10b pushed by UnOrdinary19
2m 42s main
main
2m 42s
Added division algo and correctness Lean Action CI #14: Commit fa979d7 pushed by UnOrdinary19
2m 27s main
main
2m 27s
Multiplication with partial products and visualization Lean Action CI #13: Commit 24f35b4 pushed by UnOrdinary19
2m 32s main
main
2m 32s
Subtraction Visualization Lean Action CI #12: Commit 643e9fb pushed by UnOrdinary19
2m 29s main
main
2m 29s
Added invariant panel and divided code into sections Lean Action CI #11: Commit 5bd3765 pushed by UnOrdinary19
2m 55s main
main
2m 55s
Addition visualization improved Lean Action CI #10: Commit b730ae2 pushed by UnOrdinary19
2m 27s main
main
2m 27s
Multiplication using accumulator and correctness Lean Action CI #9: Commit b9aba1b pushed by UnOrdinary19
2m 23s main
main
2m 23s
Multiplication added Lean Action CI #8: Commit ae86403 pushed by UnOrdinary19
2m 31s main
main
2m 31s
Read me updated Lean Action CI #7: Commit 6d83dce pushed by UnOrdinary19
2m 21s main
main
2m 21s
Split code into sections Lean Action CI #6: Commit dd36fc7 pushed by UnOrdinary19
2m 30s main
main
2m 30s
SUbtraction algo and proofs Lean Action CI #5: Commit c61bac2 pushed by UnOrdinary19
2m 30s main
main
2m 30s
Subtraction started Lean Action CI #4: Commit 0ad9588 pushed by UnOrdinary19
2m 18s main
main
2m 18s
Added comments on addition correctness proof Lean Action CI #3: Commit cbed48a pushed by UnOrdinary19
2m 37s main
main
2m 37s