Skip to content

Actions: kappelmann/Isabelle-Set

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(*) clean-up functors proofs and factor our library functions Build Isabelle/Set #127: Commit f0097c2 pushed by kappelmann
April 2, 2025 07:05 21m 19s master
master
April 2, 2025 07:05 21m 19s
feat(*) upgrade to Isabelle2025 Build Isabelle/Set #126: Commit 2a65bb1 pushed by kappelmann
March 31, 2025 15:59 18s master
master
March 31, 2025 15:59 18s
Add Basic Initial Algebra Construction for Functor (#9) Build Isabelle/Set #125: Commit 634a079 pushed by kappelmann
March 27, 2025 16:21 17m 7s master
master
March 27, 2025 16:21 17m 7s
feat(*) bump isabelle version + required changes Build Isabelle/Set #124: Commit 9c0cebe pushed by kappelmann
October 8, 2024 06:46 25m 30s master
master
October 8, 2024 06:46 25m 30s
chore(*VERSION) bump version Build Isabelle/Set #123: Commit 1d6d2e1 pushed by kappelmann
September 11, 2024 07:46 25m 25s master
master
September 11, 2024 07:46 25m 25s
feat(*) cleaner wellorder theorem + order setups Build Isabelle/Set #122: Commit 18cbc4a pushed by kappelmann
September 10, 2024 23:23 18s master
master
September 10, 2024 23:23 18s
Merge pull request #8 from nkrofta/master Build Isabelle/Set #121: Commit 6fbb71f pushed by kappelmann
September 3, 2024 07:21 25m 34s master
master
September 3, 2024 07:21 25m 34s
feat(HOTG) tune schroeder-bernstein contribution Build Isabelle/Set #120: Commit 76491d8 pushed by kappelmann
July 23, 2024 07:09 25m 27s master
master
July 23, 2024 07:09 25m 27s
Merge pull request #7 from nkrofta/master Build Isabelle/Set #119: Commit 2ee4eef pushed by kappelmann
July 22, 2024 18:15 1m 10s master
master
July 22, 2024 18:15 1m 10s
fix(TSRings) fix typeschecking fail Build Isabelle/Set #118: Commit 7ab317b pushed by kappelmann
July 5, 2024 15:32 8m 27s master
master
July 5, 2024 15:32 8m 27s
feat(*) tuning of PR by Krofta Build Isabelle/Set #117: Commit b4c9591 pushed by kappelmann
July 5, 2024 15:14 8m 17s master
master
July 5, 2024 15:14 8m 17s
Merge pull request #6 from nkrofta/master Build Isabelle/Set #116: Commit 2763979 pushed by kappelmann
July 5, 2024 10:28 22m 48s master
master
July 5, 2024 10:28 22m 48s