Skip to content

Actions: m4lvin/lean4-pdl

Actions

Codespaces Prebuilds

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Showing all prebuild configuration runs for Codespaces. Learn about prebuilding your codespaces.
65 workflow runs
65 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[main]: List website content in CI Codespaces Prebuilds #69: by github-codespaces bot
January 20, 2025 06:00 15m 59s main
main
January 20, 2025 06:00 15m 59s
[main]: Prove Vector.my_drop_succ_cons Codespaces Prebuilds #68: by github-codespaces bot
January 13, 2025 06:00 16m 46s main
main
January 13, 2025 06:00 16m 46s
[main]: move and prove Formula.voc_boxes Codespaces Prebuilds #67: by github-codespaces bot
January 6, 2025 06:00 16m 47s main
main
January 6, 2025 06:00 16m 47s
[main]: move and prove Formula.voc_boxes Codespaces Prebuilds #66: by github-codespaces bot
December 30, 2024 06:00 16m 29s main
main
December 30, 2024 06:00 16m 29s
[main]: helper lemmas about Vector Codespaces Prebuilds #65: by github-codespaces bot
December 23, 2024 06:00 16m 31s main
main
December 23, 2024 06:00 16m 31s
[main]: List.join->List.flatten and unfold_let->unfold Codespaces Prebuilds #64: by github-codespaces bot
December 16, 2024 06:00 16m 36s main
main
December 16, 2024 06:00 16m 36s
[main]: update DM file from mathlib PR Codespaces Prebuilds #63: by github-codespaces bot
December 9, 2024 06:00 17m 21s main
main
December 9, 2024 06:00 17m 21s
[main]: update DM file from mathlib PR Codespaces Prebuilds #62: by github-codespaces bot
December 2, 2024 06:00 16m 9s main
main
December 2, 2024 06:00 16m 9s
[main]: update DM file from mathlib PR Codespaces Prebuilds #61: by github-codespaces bot
November 25, 2024 06:00 18m 0s main
main
November 25, 2024 06:00 18m 0s
[main]: loadedDiamondPaths: finish modL case, idea for rep case Codespaces Prebuilds #60: by github-codespaces bot
November 18, 2024 06:00 16m 58s main
main
November 18, 2024 06:00 16m 58s
[main]: update to Lean 4.13 Codespaces Prebuilds #59: by github-codespaces bot
November 11, 2024 06:00 16m 20s main
main
November 11, 2024 06:00 16m 20s
[main]: yay Fintype.decidableExistsFintype; nay List.instDecidableMemOfLawfulBEq Codespaces Prebuilds #58: by github-codespaces bot
November 4, 2024 06:00 16m 25s main
main
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 main
main
October 28, 2024 06:00 17m 32s
[main]: delete HasVocabulary, use .voc, stronger unfoldBoxContent (subprograms) Codespaces Prebuilds #56: by github-codespaces bot
October 21, 2024 06:00 16m 14s main
main
October 21, 2024 06:00 16m 14s
[main]: prove List.count_eq_diff_of_subperm Codespaces Prebuilds #55: by github-codespaces bot
October 14, 2024 06:00 17m 37s main
main
October 14, 2024 06:00 17m 37s
[main]: working on unfoldBoxContent Codespaces Prebuilds #54: by github-codespaces bot
October 7, 2024 06:00 17m 17s main
main
October 7, 2024 06:00 17m 17s
[main]: prove boxHelperTermination Codespaces Prebuilds #53: by github-codespaces bot
September 30, 2024 06:00 17m 29s main
main
September 30, 2024 06:00 17m 29s
[main]: ideas and thoughts in loadedDiamondPaths proof Codespaces Prebuilds #52: by github-codespaces bot
September 23, 2024 06:00 16m 15s main
main
September 23, 2024 06:00 16m 15s
[main]: correction to which inductionOn is used yet Codespaces Prebuilds #51: by github-codespaces bot
September 16, 2024 06:00 17m 12s main
main
September 16, 2024 06:00 17m 12s
[main]: add placeholder statement for clusterInterpolation Codespaces Prebuilds #50: by github-codespaces bot
September 9, 2024 06:00 8m 26s main
main
September 9, 2024 06:00 8m 26s
[main]: work on loadRuleTruth Codespaces Prebuilds #49: by github-codespaces bot
September 2, 2024 06:00 9m 6s main
main
September 2, 2024 06:00 9m 6s
[main]: prepare unfoldDiamondLoaded Codespaces Prebuilds #48: by github-codespaces bot
August 26, 2024 06:00 7m 51s main
main
August 26, 2024 06:00 7m 51s
[main]: prepare unfoldDiamondLoaded Codespaces Prebuilds #47: by github-codespaces bot
August 19, 2024 06:00 8m 18s main
main
August 19, 2024 06:00 8m 18s
[main]: prepare unfoldDiamondLoaded Codespaces Prebuilds #46: by github-codespaces bot
August 12, 2024 06:00 8m 21s main
main
August 12, 2024 06:00 8m 21s
[main]: stuck on edge.WedllFounded - tab or path induction? Codespaces Prebuilds #45: by github-codespaces bot
August 5, 2024 06:00 7m 37s main
main
August 5, 2024 06:00 7m 37s