Skip to content

Actions: m4lvin/lean4-pdl

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
683 workflow runs
683 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

yay Fintype.decidableExistsFintype; nay List.instDecidableMemOfLawfulBEq CI #692: Commit 24ab45d pushed by m4lvin
October 21, 2024 17:43 4m 32s main
main
October 21, 2024 17:43 4m 32s
work on Distance, including Decidable evaluate CI #691: Commit 612dffb pushed by m4lvin
October 21, 2024 14:45 4m 26s main
main
October 21, 2024 14:45 4m 26s
move AxiomBlame CI #690: Commit a57fada pushed by m4lvin
October 21, 2024 14:43 4m 37s main
main
October 21, 2024 14:43 4m 37s
delete HasVocabulary, use .voc, stronger unfoldBoxContent (subprograms) CI #689: Commit f900962 pushed by m4lvin
October 19, 2024 10:58 4m 42s main
main
October 19, 2024 10:58 4m 42s
finding some problems; adding notes and ideas CI #688: Commit 015b0a9 pushed by m4lvin
October 18, 2024 20:58 4m 34s main
main
October 18, 2024 20:58 4m 34s
attempts for relate.instDecidable CI #687: Commit 0feec66 pushed by m4lvin
October 18, 2024 20:03 4m 44s main
main
October 18, 2024 20:03 4m 44s
WIP in Pdl.Distance: idea for DecidableKripkeModel CI #686: Commit 82e9afc pushed by m4lvin
October 17, 2024 20:20 4m 38s main
main
October 17, 2024 20:20 4m 38s
finish example that unfolds [∗((∗a) ⋓ b)]X CI #685: Commit 201615c pushed by m4lvin
October 16, 2024 15:48 4m 19s main
main
October 16, 2024 15:48 4m 19s
finish node_to_multiset_of_precon; LocalTableau.lean is now sorry-free CI #684: Commit 34b9553 pushed by m4lvin
October 16, 2024 09:26 4m 25s main
main
October 16, 2024 09:26 4m 25s
finish H_goes_down CI #683: Commit 42caf33 pushed by m4lvin
October 14, 2024 14:44 4m 42s main
main
October 14, 2024 14:44 4m 42s
prove List.count_eq_diff_of_subperm CI #682: Commit 007607c pushed by m4lvin
October 12, 2024 20:47 4m 15s main
main
October 12, 2024 20:47 4m 15s
work on node_to_multiset_of_precon CI #681: Commit 3d3fd2c pushed by m4lvin
October 12, 2024 16:58 4m 36s main
main
October 12, 2024 16:58 4m 36s
update to Lean 4.12 CI #680: Commit 05db6d4 pushed by m4lvin
October 11, 2024 16:56 4m 23s main
main
October 11, 2024 16:56 4m 23s
add Olf.toForm and node_to_multiset_eq CI #679: Commit 2dae504 pushed by m4lvin
October 10, 2024 15:51 5m 4s main
main
October 10, 2024 15:51 5m 4s
move node_to_multiset_of_precon down a bit CI #678: Commit 093b06f pushed by m4lvin
October 9, 2024 20:43 5m 1s main
main
October 9, 2024 20:43 5m 1s
move code CI #677: Commit 58e6fe5 pushed by m4lvin
October 9, 2024 20:36 5m 10s main
main
October 9, 2024 20:36 5m 10s
working on unfoldDiamondContent CI #676: Commit adf9210 pushed by m4lvin
October 9, 2024 16:41 6m 9s main
main
October 9, 2024 16:41 6m 9s
prove H_goes_down CI #675: Commit e0ee97e pushed by m4lvin
October 8, 2024 20:14 4m 51s main
main
October 8, 2024 20:14 4m 51s
weaken unfoldBoxContent to what we actually use CI #674: Commit c7fada3 pushed by m4lvin
October 8, 2024 19:54 4m 36s main
main
October 8, 2024 19:54 4m 36s
resolve sorry in TP lemmas, avoid FL for now CI #673: Commit dda2955 pushed by m4lvin
October 8, 2024 19:26 4m 37s main
main
October 8, 2024 19:26 4m 37s
work on unfoldDiamond.decreases_lmOf_nonAtomic CI #672: Commit 7f8916f pushed by m4lvin
October 7, 2024 19:21 4m 36s main
main
October 7, 2024 19:21 4m 36s
localRuleApp.decreases_DM via List.Subperm.append CI #670: Commit 7035cba pushed by m4lvin
September 30, 2024 22:01 4m 36s subperm
subperm
September 30, 2024 22:01 4m 36s
working on unfoldBoxContent CI #669: Commit d308c26 pushed by m4lvin
September 30, 2024 20:33 4m 26s main
main
September 30, 2024 20:33 4m 26s
prove boxHelperTermination CI #668: Commit bd9d185 pushed by m4lvin
September 29, 2024 20:11 4m 48s main
main
September 29, 2024 20:11 4m 48s
finish LocalRule.Decreases and work on related parts CI #667: Commit 3690305 pushed by m4lvin
September 25, 2024 19:32 4m 19s main
main
September 25, 2024 19:32 4m 19s