Skip to content

Actions: isabelle-utp/Optics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added a coordinate systems example for lenses .github/workflows/build_2025.yml #19: Commit f645b1a pushed by simondfoster
1m 50s main
main
1m 50s
Disabled HOL-Algebra notation to avoid syntax clashes .github/workflows/build_2025.yml #18: Commit 6c3e513 pushed by simondfoster
1m 38s main
main
1m 38s
Disabled HOL-Algebra notation to avoid syntax clashes .github/workflows/build_2025.yml #17: Commit 6c3e513 pushed by simondfoster
2m 10s scene_space_lattice
scene_space_lattice
2m 10s
A couple of ChanBasis properties .github/workflows/build_2025.yml #16: Commit 10ea6cb pushed by simondfoster
3m 39s scene_space_lattice
scene_space_lattice
3m 39s
Additional lattice properties for scene spaces .github/workflows/build_2025.yml #15: Commit 58ddb89 pushed by simondfoster
2m 14s scene_space_lattice
scene_space_lattice
2m 14s
A bit of tidying up .github/workflows/build_2025.yml #14: Commit c7f7c62 pushed by simondfoster
2m 17s scene_space_lattice
scene_space_lattice
2m 17s
Complete the proof that elements of the scene space are isomorphic to… .github/workflows/build_2025.yml #13: Commit 8c91329 pushed by simondfoster
2m 55s scene_space_lattice
scene_space_lattice
2m 55s
Further work on decomposing scenes in their characteristic variable sets .github/workflows/build_2025.yml #12: Commit b79c5bc pushed by simondfoster
2m 1s scene_space_lattice
scene_space_lattice
2m 1s
Began work on further scene decomposition theorems .github/workflows/build_2025.yml #11: Commit c9b87ea pushed by simondfoster
4m 0s scene_space_lattice
scene_space_lattice
4m 0s
Cleaned up several proofs, and showed complete BA properties .github/workflows/build_2025.yml #10: Commit 70758f8 pushed by simondfoster
3m 20s scene_space_lattice
scene_space_lattice
3m 20s
Added Carlos as an author .github/workflows/build_2025.yml #9: Commit 33006a5 pushed by simondfoster
2m 42s scene_space_lattice
scene_space_lattice
2m 42s
Fixed some lemma, and integrated some additional lens laws .github/workflows/build_2025.yml #8: Commit fbc20f8 pushed by simondfoster
3m 49s scene_space_lattice
scene_space_lattice
3m 49s
Completed integration of scene space complete lattice with frames .github/workflows/build_2025.yml #7: Commit c05131d pushed by simondfoster
2m 55s scene_space_lattice
scene_space_lattice
2m 55s
Added the complete lattice for scene spaces .github/workflows/build_2025.yml #6: Commit d3a4c90 pushed by simondfoster
2m 16s scene_space_lattice
scene_space_lattice
2m 16s
Integrated extra scene laws from Carlos .github/workflows/build_2025.yml #5: Commit c50fb0e pushed by simondfoster
2m 59s main
main
2m 59s
Merge remote-tracking branch 'origin/main' .github/workflows/build_2025.yml #4: Commit 7cda703 pushed by simondfoster
1m 42s main
main
1m 42s
Update github action to use cplaursen/isabelle-theory-build-github-ac… .github/workflows/build_2025.yml #3: Commit 7ddeff6 pushed by cplaursen
1m 49s main
main
1m 49s
Bump isabelle-theory-build action to v9 .github/workflows/build_2025.yml #2: Commit f09a3ed pushed by cplaursen
2m 0s main
main
2m 0s
Update and rename build_2023.yml to build_2025.yml .github/workflows/build_2025.yml #1: Commit 087ef4c pushed by cplaursen
2m 19s main
main
2m 19s
Shorten apply-style proofs in Scenes .github/workflows/build_2023.yml #19: Commit 75a10f1 pushed by cplaursen
1m 7s christian-edits
christian-edits
1m 7s
Un-declare basis lens intro rule to fix warning in Alphabet_Scene_Spa… .github/workflows/build_2023.yml #18: Commit 7e7ccda pushed by cplaursen
1m 54s christian-edits
christian-edits
1m 54s
Improve automation for scene_spaces and fix proofs that broke .github/workflows/build_2023.yml #17: Commit b488231 pushed by cplaursen
3m 2s christian-edits
christian-edits
3m 2s
Add introduction and elimination laws to Scene_Spaces .github/workflows/build_2023.yml #16: Commit 6970f9a pushed by cplaursen
1m 55s christian-edits
christian-edits
1m 55s
Add introduction and elimination laws to Scene_Spaces .github/workflows/build_2023.yml #15: Commit 0182504 pushed by cplaursen
3m 12s christian-edits
christian-edits
3m 12s
Fix proof in Frames .github/workflows/build_2023.yml #14: Commit 0b6c7bc pushed by cplaursen
1m 48s christian-edits
christian-edits
1m 48s