Skip to content

Actions: VCA-EPFL/lean-star

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 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
sorry free version Lean Action CI #13: Commit 30e64c7 pushed by marty2697
2m 18s main
main
2m 18s
Finish THE_THEOREM1 Lean Action CI #12: Commit a0fe197 pushed by marty2697
2m 6s main
main
2m 6s
add THE_THEOREM1 Lean Action CI #11: Commit 8d2eee7 pushed by marty2697
2m 4s main
main
2m 4s
try Spec examples and start THE_THEOREM Lean Action CI #10: Commit 9deb240 pushed by marty2697
2m 43s main
main
2m 43s
End proofs non detrministic spec refines itself Lean Action CI #9: Commit e8647cc pushed by marty2697
2m 22s main
main
2m 22s
Add inductive phi proofs Lean Action CI #8: Commit a09ce93 pushed by marty2697
2m 12s main
main
2m 12s
start Lean Action CI #7: Commit 687763d pushed by marty2697
30s main
main
30s
Add normalisation definition Lean Action CI #6: Commit cc773bc pushed by ymherklotz
1m 24s main
main
1m 24s
Remove Star.lean Lean Action CI #5: Commit 6bd3b42 pushed by ymherklotz
28s main
main
28s
Remove Main.lean Lean Action CI #4: Commit 1418b75 pushed by ymherklotz
19s main
main
19s
Add definition of confluence Lean Action CI #3: Commit 5919523 pushed by ymherklotz
21s main
main
21s
Add transitivity and reflexivity Lean Action CI #2: Commit ccb5629 pushed by ymherklotz
18s main
main
18s
Explore ARS implementation Lean Action CI #1: Commit 6f8fafc pushed by ymherklotz
24s main
main
24s
⚡