Skip to content

Actions: oliversoeser/lean-inhabit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 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
substitutions and algebras Lean Action CI #25: Commit abee840 pushed by oliversoeser
1m 29s main
main
1m 29s
general terms Lean Action CI #24: Commit d5ded3e pushed by oliversoeser
1m 27s main
main
1m 27s
formula variables in inferences Lean Action CI #23: Commit e49701f pushed by oliversoeser
2m 0s main
main
2m 0s
modus ponens Lean Action CI #22: Commit 95244d5 pushed by oliversoeser
1m 24s main
main
1m 24s
add simp Lean Action CI #21: Commit d309e80 pushed by oliversoeser
1m 26s main
main
1m 26s
basic example inferences Lean Action CI #20: Commit 90c975f pushed by oliversoeser
1m 45s main
main
1m 45s
inferences Lean Action CI #19: Commit d7cb530 pushed by oliversoeser
2m 0s main
main
2m 0s
logical consequence and equivalence Lean Action CI #18: Commit f8fc164 pushed by oliversoeser
1m 32s main
main
1m 32s
simplify and Prop semantics Lean Action CI #17: Commit 47da4bc pushed by oliversoeser
1m 45s main
main
1m 45s
remove substitution Lean Action CI #16: Commit 00d290b pushed by oliversoeser
1m 52s main
main
1m 52s
terms and clauses Lean Action CI #15: Commit 4e6c2fe pushed by oliversoeser
1m 29s main
main
1m 29s
substitution Lean Action CI #14: Commit abed4a1 pushed by oliversoeser
1m 22s main
main
1m 22s
semantics Lean Action CI #13: Commit 9dcef5b pushed by oliversoeser
1m 53s main
main
1m 53s
resolution syntax setup Lean Action CI #12: Commit cbf0c1c pushed by oliversoeser
1m 40s main
main
1m 40s
renaming Lean Action CI #11: Commit d0428e7 pushed by oliversoeser
1m 42s main
main
1m 42s
update and add cslib Lean Action CI #10: Commit f93fb7d pushed by oliversoeser
2m 13s main
main
2m 13s
propositional logic Lean Action CI #9: Commit b7c22e8 pushed by oliversoeser
20s main
main
20s
reset Lean Action CI #8: Commit 70859cd pushed by oliversoeser
18s main
main
18s
auto setup Lean Action CI #7: Commit 1c781b5 pushed by oliversoeser
20s main
main
20s
minor changes Lean Action CI #6: Commit 9a6c053 pushed by oliversoeser
23s main
main
23s
return value for constructor application Lean Action CI #5: Commit c711b53 pushed by oliversoeser
32s main
main
32s
basic RHS sequent solver Lean Action CI #4: Commit ca8d245 pushed by oliversoeser
21s main
main
21s
name change Lean Action CI #3: Commit 0b6aed3 pushed by oliversoeser
19s main
main
19s
hello world Lean Action CI #2: Commit e07ac6e pushed by oliversoeser
24s main
main
24s
setup Lean Action CI #1: Commit 593130f pushed by oliversoeser
18s main
main
18s