Skip to content

Actions: arademaker/fad

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
161 workflow runs
161 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
Update toolchain and remove direct mathlib dependency (#73) Build and Deploy Documentation #34: Commit c33724e pushed by arademaker
1h 17m 41s main
main
1h 17m 41s
remove needless comment Build and Deploy Documentation #33: Commit 8171bdc pushed by arademaker
1h 55m 16s main
main
1h 55m 16s
Merge branch 'ex-48-fixed' Build and Deploy Documentation #32: Commit 39b7109 pushed by arademaker
1h 15m 14s main
main
1h 15m 14s
Merge branch 'ex-41-fixed' Build and Deploy Documentation #31: Commit f2e85c9 pushed by arademaker
1h 49m 5s main
main
1h 49m 5s
refactor(chapter3): RAList namespace Build and Deploy Documentation #30: Commit 62edb98 pushed by arademaker
4m 50s main
main
4m 50s
Exercise 3.10 solved (#66) Build and Deploy Documentation #29: Commit b39ef23 pushed by arademaker
40m 32s main
main
40m 32s
chapter3: fix order of definitions Build and Deploy Documentation #28: Commit 9dc028e pushed by arademaker
40m 53s main
main
40m 53s
docs(chapter1): document foldl fusion law in Exercise 1.18 Build and Deploy Documentation #26: Commit 76c6215 pushed by arademaker
4m 11s main
main
4m 11s
refactor(chapter1): simplify Exercise 1.17 fusion proofs Build and Deploy Documentation #25: Commit 2ff8e34 pushed by arademaker
5m 7s main
main
5m 7s
Exercise 1.17 solved (#65) Build and Deploy Documentation #24: Commit 858ad94 pushed by arademaker
4m 31s main
main
4m 31s
feat(chapter3): prove dropWhileSL, initsSL and inits₁ = inits₂ Build and Deploy Documentation #23: Commit 318fe8c pushed by arademaker
5m 1s main
main
5m 1s
feat(chapter3): prove SymList lemmas and refactor concat time bounds Build and Deploy Documentation #22: Commit 5fbfd56 pushed by arademaker
4m 20s main
main
4m 20s
feat(chapter2): add TimeM complexity proofs for concat₁ and concat₂ Build and Deploy Documentation #21: Commit a88e775 pushed by arademaker
4m 23s main
main
4m 23s
chore: remove assignment files and simplify termination proofs Build and Deploy Documentation #20: Commit 8013e71 pushed by arademaker
40m 41s main
main
40m 41s
fix(chapter1): simplify proofs and move inits/tails to Chapter1-Ex Build and Deploy Documentation #19: Commit 1aa4bca pushed by arademaker
2m 10s main
main
2m 10s
feat(chapter1): add termination proofs and collapse equivalence Build and Deploy Documentation #18: Commit 00d328b pushed by arademaker
2m 24s main
main
2m 24s
fix: solve perms1 and perms2 in chapter1 Build and Deploy Documentation #17: Commit 251e886 pushed by arademaker
1m 43s main
main
1m 43s
chore: upgrade to Lean v4.27.0-rc1 Build and Deploy Documentation #16: Commit ac40e4f pushed by arademaker
13m 48s main
main
13m 48s
fix: minor syntax adjustment Build and Deploy Documentation #15: Commit 5412315 pushed by arademaker
9m 9s main
main
9m 9s
fix(chapter4): complete flatten proof (#62) Build and Deploy Documentation #14: Commit 41c9a7f pushed by arademaker
8m 1s main
main
8m 1s
feat(chapter5): prove reverse equivalence (#64) Build and Deploy Documentation #13: Commit ff77a3c pushed by arademaker
8m 9s main
main
8m 9s
fix(chapter1): complete scanr proof in Ex 1.12. Build and Deploy Documentation #12: Commit bd75856 pushed by arademaker
11m 43s main
main
11m 43s
test(chapter3): improve fetch function examples Build and Deploy Documentation #11: Commit 4e8542f pushed by arademaker
11m 50s main
main
11m 50s
fix README Build and Deploy Documentation #10: Commit b9905ee pushed by arademaker
7m 14s main
main
7m 14s
update README Build and Deploy Documentation #9: Commit 2227ecd pushed by arademaker
7m 52s main
main
7m 52s