Lean Action CI · Workflow runs · FormalizedFormalLogic/VeryWeakSubintuitionistic · GitHub

Actions

Lean Action CI

Actions

Loading...
Loading

12 workflow runs

12 workflow runs

Fix simp regressions in ModalCompanion/Basic after deps update (#2) Lean Action CI #12: Commit a8cfb50 pushed by SnO2WMaN

3m 22s main

main

3m 22s

Fix simp regressions in ModalCompanion/Basic after deps update Lean Action CI #11: Pull request #2 opened by SnO2WMaN

18s fix/modal-companion-vfser-simp

fix/modal-companion-vfser-simp

18s

Fix simp regressions in ModalCompanion/Basic after deps update Lean Action CI #10: Commit 6000df7 pushed by SnO2WMaN

3m 18s fix/modal-companion-vfser-simp

fix/modal-companion-vfser-simp

3m 18s

Add Rosser Rule for VF Lean Action CI #9: Pull request #1 opened by SnO2WMaN

2m 44s rosser

rosser

2m 44s

wip Lean Action CI #8: Commit bec4d81 pushed by SnO2WMaN

3m 9s rosser

rosser

3m 9s

Update deps Lean Action CI #7: Commit bcd2fc2 pushed by SnO2WMaN

2m 29s main

main

2m 29s

Update README Lean Action CI #6: Commit 75c52a4 pushed by SnO2WMaN

1m 44s main

main

1m 44s

done. Lean Action CI #5: Commit 45db355 pushed by SnO2WMaN

2m 13s main

main

2m 13s

refactor and more generalized result Lean Action CI #4: Commit 196205b pushed by SnO2WMaN

2m 33s main

main

2m 33s

Simplify proofs with grind, add CLAUDE.md Lean Action CI #3: Commit 5c22981 pushed by SnO2WMaN

1m 26s main

main

1m 26s

Use Sum for ModalToPropWorld instead of Option Lean Action CI #2: Commit 5e0cfc7 pushed by SnO2WMaN

2m 27s main

main

2m 27s

completeness Lean Action CI #1: Commit e382293 pushed by SnO2WMaN

2m 59s main

main

2m 59s