Skip to content

Actions: m4lvin/lean4-pdl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
746 workflow runs
746 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

actually define distance CI #696: Commit 5390d6a pushed by m4lvin
November 11, 2024 20:05 4m 29s decidable-distance
decidable-distance
November 11, 2024 20:05 4m 29s
prove reachableFrom.mem_iff CI #695: Commit 5a9a953 pushed by m4lvin
November 11, 2024 11:59 4m 35s decidable-distance
decidable-distance
November 11, 2024 11:59 4m 35s
[main]: update to Lean 4.13 Codespaces Prebuilds #59: by github-codespaces bot
November 11, 2024 06:00 16m 20s
November 11, 2024 06:00 16m 20s
computable ReflTransGen for decidable distance CI #694: Commit 96e6a6c pushed by m4lvin
November 6, 2024 09:36 4m 44s decidable-distance
decidable-distance
November 6, 2024 09:36 4m 44s
update to Lean 4.13 CI #693: Commit 6320f47 pushed by m4lvin
November 4, 2024 23:15 4m 27s main
main
November 4, 2024 23:15 4m 27s
[main]: yay Fintype.decidableExistsFintype; nay List.instDecidableMemOfLawfulBEq Codespaces Prebuilds #58: by github-codespaces bot
November 4, 2024 06:00 16m 25s
November 4, 2024 06:00 16m 25s
[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