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.
57 workflow runs
57 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
[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
[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
[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
[main]: prove boxHelperTermination Codespaces Prebuilds #53: by github-codespaces bot
September 30, 2024 06:00 17m 29s
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
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
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
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
September 2, 2024 06:00 9m 6s
[main]: prepare unfoldDiamondLoaded Codespaces Prebuilds #48: by github-codespaces bot
August 26, 2024 06:00 7m 51s
August 26, 2024 06:00 7m 51s
[main]: prepare unfoldDiamondLoaded Codespaces Prebuilds #47: by github-codespaces bot
August 19, 2024 06:00 8m 18s
August 19, 2024 06:00 8m 18s
[main]: prepare unfoldDiamondLoaded Codespaces Prebuilds #46: by github-codespaces bot
August 12, 2024 06:00 8m 21s
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
August 5, 2024 06:00 7m 37s
[main]: tableauThenNotSat: reduce non-loaded case to lemmas about append nil Codespaces Prebuilds #44: by github-codespaces bot
July 29, 2024 06:00 8m 23s
July 29, 2024 06:00 8m 23s
[main]: ideas for three alternative edge definitions Codespaces Prebuilds #43: by github-codespaces bot
July 22, 2024 06:00 8m 33s
July 22, 2024 06:00 8m 33s
[main]: ideas for three alternative edge definitions Codespaces Prebuilds #42: by github-codespaces bot
July 15, 2024 06:00 7m 43s
July 15, 2024 06:00 7m 43s
[main]: adjust LoadHistory and lpr definition Codespaces Prebuilds #41: by github-codespaces bot
July 8, 2024 06:00 7m 48s
July 8, 2024 06:00 7m 48s
[main]: fix import Codespaces Prebuilds #40: by github-codespaces bot
July 1, 2024 06:00 7m 36s
July 1, 2024 06:00 7m 36s
[main]: add Distance.lean with notes and sorries Codespaces Prebuilds #39: by github-codespaces bot
June 24, 2024 06:00 7m 41s
June 24, 2024 06:00 7m 41s
[main]: fixes in MultisetOrder for newer lean version Codespaces Prebuilds #38: by github-codespaces bot
June 17, 2024 06:00 7m 34s
June 17, 2024 06:00 7m 34s
[main]: add the boxHelper statements and proof placeholders Codespaces Prebuilds #37: by github-codespaces bot
June 10, 2024 06:00 8m 11s
June 10, 2024 06:00 8m 11s
[main]: finish loadedTruthLemmaProg up to termination Codespaces Prebuilds #36: by github-codespaces bot
June 3, 2024 06:00 10m 7s
June 3, 2024 06:00 10m 7s
[main]: rewrite witness as inductive type; try to prove existsWitnessPath`` Codespaces Prebuilds #35: by github-codespaces bot
May 27, 2024 06:00 9m 18s
May 27, 2024 06:00 9m 18s
[main]: prove guardToStarDiamond Codespaces Prebuilds #34: by github-codespaces bot
May 20, 2024 06:00 9m 4s
May 20, 2024 06:00 9m 4s
[main]: building the roof of the house first Codespaces Prebuilds #33: by github-codespaces bot
May 13, 2024 06:00 8m 32s
May 13, 2024 06:00 8m 32s