Skip to content

Actions: m4lvin/lean4-pdl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
740 workflow runs
740 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[main]: yay Fintype.decidableExistsFintype; nay List.instDecidableMemOfLawfulBEq Codespaces Prebuilds #57: by github-codespaces bot
October 28, 2024 06:00 17m 32s
October 28, 2024 06:00 17m 32s
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
[main]: delete HasVocabulary, use .voc, stronger unfoldBoxContent (subprograms) Codespaces Prebuilds #56: by github-codespaces bot
October 21, 2024 06:00 16m 14s
October 21, 2024 06:00 16m 14s
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
[main]: prove List.count_eq_diff_of_subperm Codespaces Prebuilds #55: by github-codespaces bot
October 14, 2024 06:00 17m 37s
October 14, 2024 06:00 17m 37s
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
[main]: working on unfoldBoxContent Codespaces Prebuilds #54: by github-codespaces bot
October 7, 2024 06:00 17m 17s
October 7, 2024 06:00 17m 17s