Skip to content

Actions: m4lvin/lean4-pdl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
740 workflow runs
740 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

correction to which inductionOn is used yet CI #648: Commit 4f1c666 pushed by m4lvin
September 13, 2024 21:45 4m 15s main
main
September 13, 2024 21:45 4m 15s
imitate mathlib: .vscode/settings.json; gitpod neovim CI #647: Commit 69352ed pushed by m4lvin
September 13, 2024 19:16 4m 3s main
main
September 13, 2024 19:16 4m 3s
more induction principles; flip before wellfounded CI #646: Commit b1c5b54 pushed by m4lvin
September 13, 2024 18:19 4m 3s main
main
September 13, 2024 18:19 4m 3s
work on localInterpolantStep + more vocab simp CI #645: Commit 4ed09bc pushed by m4lvin
September 12, 2024 22:23 4m 9s main
main
September 12, 2024 22:23 4m 9s
revise eProp2.d_help to fix sorry in tableauThenNotSat CI #644: Commit 0c9db72 pushed by m4lvin
September 11, 2024 09:33 4m 16s main
main
September 11, 2024 09:33 4m 16s
adjust notation to notes CI #643: Commit 5fae04d pushed by m4lvin
September 10, 2024 21:12 4m 20s main
main
September 10, 2024 21:12 4m 20s
some simplifications CI #642: Commit 599b82a pushed by m4lvin
September 10, 2024 14:19 4m 17s quots
quots
September 10, 2024 14:19 4m 17s
prove PathIn.rewind_zero CI #641: Commit bec6bee pushed by m4lvin
September 10, 2024 14:18 4m 21s main
main
September 10, 2024 14:18 4m 21s
[main]: add placeholder statement for clusterInterpolation Codespaces Prebuilds #50: by github-codespaces bot
September 9, 2024 06:00 8m 26s
September 9, 2024 06:00 8m 26s
add placeholder statement for clusterInterpolation CI #640: Commit 8cdbac2 pushed by m4lvin
September 8, 2024 15:56 4m 8s main
main
September 8, 2024 15:56 4m 8s
induction ... using ... new principle works?! CI #639: Commit a98cb15 pushed by m4lvin
September 7, 2024 20:25 4m 5s main
main
September 7, 2024 20:25 4m 5s
finish inductionAxiom in Examples CI #638: Commit a16964d pushed by m4lvin
September 7, 2024 15:06 4m 12s main
main
September 7, 2024 15:06 4m 12s
tweak rewind def again; finish PathIn.rewind_le CI #637: Commit 601dc5f pushed by m4lvin
September 7, 2024 12:33 4m 7s main
main
September 7, 2024 12:33 4m 7s
new: PathIn.init_inductionOn; redefine PathIn.rewind CI #636: Commit bb531c8 pushed by m4lvin
September 7, 2024 08:22 4m 5s main
main
September 7, 2024 08:22 4m 5s
upgrade to Lean v4.11 + update DM from current PR CI #635: Commit bc6f8f7 pushed by m4lvin
September 4, 2024 10:17 4m 26s main
main
September 4, 2024 10:17 4m 26s
upgrade to Lean v4.11 + update DM from current PR CI #634: Commit bc6f8f7 pushed by m4lvin
September 4, 2024 10:07 4m 6s lean-v4.11-update
lean-v4.11-update
September 4, 2024 10:07 4m 6s
WIP to upgrade to Lean v4.11 CI #633: Commit c31df0d pushed by m4lvin
September 3, 2024 20:33 4m 11s lean-v4.11-update
lean-v4.11-update
September 3, 2024 20:33 4m 11s
WIP to upgrade to Lean v4.11 CI #632: Commit ac627d1 pushed by m4lvin
September 3, 2024 15:13 3m 48s lean-v4.11-update
lean-v4.11-update
September 3, 2024 15:13 3m 48s
add note that PathIn.rewind is probably wrong CI #631: Commit afc2a55 pushed by m4lvin
September 3, 2024 14:20 4m 37s main
main
September 3, 2024 14:20 4m 37s
avoid reinventing List.dropLast as List.init CI #630: Commit 2826949 pushed by m4lvin
September 2, 2024 19:30 4m 35s main
main
September 2, 2024 19:30 4m 35s
finish loadRuleTruth by adding helper functions CI #629: Commit 212a016 pushed by m4lvin
September 2, 2024 16:50 4m 34s main
main
September 2, 2024 16:50 4m 34s
[main]: work on loadRuleTruth Codespaces Prebuilds #49: by github-codespaces bot
September 2, 2024 06:00 9m 6s
September 2, 2024 06:00 9m 6s
work on loadRuleTruth CI #628: Commit a49612b pushed by m4lvin
August 31, 2024 19:55 4m 41s main
main
August 31, 2024 19:55 4m 41s
[main]: prepare unfoldDiamondLoaded Codespaces Prebuilds #48: by github-codespaces bot
August 26, 2024 06:00 7m 51s
August 26, 2024 06:00 7m 51s
[main]: prepare unfoldDiamondLoaded Codespaces Prebuilds #47: by github-codespaces bot
August 19, 2024 06:00 8m 18s
August 19, 2024 06:00 8m 18s