Skip to content

Actions: SamuelLess/inference_in_lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update lean version Lean Action CI #32: Commit b46f435 pushed by SamuelLess
2m 43s main
main
2m 43s
Adjust old proof for generalSoundness_of_soundness Lean Action CI #31: Commit c39b9b7 pushed by nlohrer
4m 30s main
main
4m 30s
Update README.md Lean Action CI #30: Commit 714a81d pushed by nlohrer
4m 23s main
main
4m 23s
Rename files for better structure Lean Action CI #29: Commit b550615 pushed by SamuelLess
7m 11s main
main
7m 11s
Rename files for better structure Lean Action CI #28: Commit f0c3a81 pushed by SamuelLess
1m 7s main
main
1m 7s
Add some more documentation Lean Action CI #27: Commit b38a74b pushed by nlohrer
7m 33s main
main
7m 33s
Add README and LICENSE Lean Action CI #26: Commit 46e53ff pushed by SamuelLess
7m 2s main
main
7m 2s
Fix definition of ClauseSetEntails Lean Action CI #25: Commit 3c52bda pushed by SamuelLess
7m 16s main
main
7m 16s
Restructure sections and add some documentation Lean Action CI #24: Commit 70cf5b5 pushed by nlohrer
7m 21s main
main
7m 21s
Reduce code length with all_goals, extract_goal etc Lean Action CI #23: Commit 0094810 pushed by nlohrer
7m 24s main
main
7m 24s
Add proof of first-order factorization rule Lean Action CI #22: Commit 4456808 pushed by SamuelLess
6m 58s main
main
6m 58s
Add proof of first-order factorization rule Lean Action CI #21: Commit 827b645 pushed by SamuelLess
6m 54s main
main
6m 54s
Rename basic to Resolution Lean Action CI #20: Commit c816481 pushed by SamuelLess
7m 23s main
main
7m 23s
Finish proof for Clause.closedClause_closed Lean Action CI #19: Commit 5239adf pushed by nlohrer
7m 14s main
main
7m 14s
Some clean up and preperation for the last sorry Lean Action CI #18: Commit 1da1ab7 pushed by SamuelLess
7m 26s main
main
7m 26s
Merge branch 'generalresolution' Lean Action CI #17: Commit 678b3b2 pushed by SamuelLess
7m 35s main
main
7m 35s
Finish assignment invariance proof Lean Action CI #16: Commit 9663517 pushed by SamuelLess
7m 14s main
main
7m 14s
Last sorry at Clause.consClosed remaining Lean Action CI #15: Commit f59997a pushed by SamuelLess
7m 36s generalresolution
generalresolution
7m 36s
Finish assignment invariance proof Lean Action CI #14: Commit 9663517 pushed by nlohrer
7m 8s assignment-invariance
assignment-invariance
7m 8s
Prove assignment-invariance for atoms Lean Action CI #13: Commit 484c8ec pushed by nlohrer
7m 7s assignment-invariance
assignment-invariance
7m 7s
Add Clause.toClosedFormula with sorried proofs and add 3.10.14 with o… Lean Action CI #12: Commit 1d72b5e pushed by SamuelLess
7m 22s generalresolution
generalresolution
7m 22s
Proof assignment-invariance for terms Lean Action CI #11: Commit e1a5cf7 pushed by nlohrer
7m 12s assignment-invariance
assignment-invariance
7m 12s
Add further work on assignment-invariance Lean Action CI #10: Commit 099d5dc pushed by nlohrer
6m 12s main
main
6m 12s
Add first steps for assignment-invariance of closed formulas. Lean Action CI #9: Commit e727df9 pushed by nlohrer
7m 19s main
main
7m 19s
Formalize Exercise 5-1 Lean Action CI #8: Commit c8ff8ce pushed by SamuelLess
7m 7s main
main
7m 7s