Skip to content

Actions: Seasawher/ConcreteSemantics.lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Lean Update Lean #1: Scheduled
October 10, 2024 00:19 3m 0s main
main
October 10, 2024 00:19 3m 0s
更新ワークフロー設定 build test #32: Commit edba529 pushed by Seasawher
October 8, 2024 20:03 2m 58s main
main
October 8, 2024 20:03 2m 58s
修正 build test #31: Commit 3436d7f pushed by Seasawher
October 8, 2024 14:27 2m 58s main
main
October 8, 2024 14:27 2m 58s
10/8 進捗 build test #30: Commit 67f4988 pushed by Seasawher
October 8, 2024 14:06 2m 49s main
main
October 8, 2024 14:06 2m 49s
Merge pull request #2 from spinylobster/main build test #29: Commit 6d3de9e pushed by Seasawher
October 1, 2024 16:32 2m 58s main
main
October 1, 2024 16:32 2m 58s
sillyLoopの証明をいい感じに書いた build test #28: Pull request #2 opened by spinylobster
October 1, 2024 16:13 3m 14s spinylobster:main
spinylobster:main
October 1, 2024 16:13 3m 14s
進捗 10/01 build test #27: Commit e717033 pushed by Seasawher
October 1, 2024 14:01 2m 59s main
main
October 1, 2024 14:01 2m 59s
Sep 24 進捗 build test #26: Commit 5128c09 pushed by Seasawher
September 24, 2024 14:06 4m 25s main
main
September 24, 2024 14:06 4m 25s
進捗: SmallStep に入る build test #25: Commit f76a962 pushed by Seasawher
September 17, 2024 14:34 35s main
main
September 17, 2024 14:34 35s
修正 build test #24: Commit 583a1e9 pushed by Seasawher
September 15, 2024 10:13 29s main
main
September 15, 2024 10:13 29s
big step に書き換える build test #23: Commit 13cd193 pushed by Seasawher
September 15, 2024 09:33 35s main
main
September 15, 2024 09:33 35s
big_step タクティクの開発 build test #22: Commit f7e3948 pushed by Seasawher
September 15, 2024 03:40 27s main
main
September 15, 2024 03:40 27s
冗長な証明を削除する build test #21: Commit cca13d1 pushed by Seasawher
September 14, 2024 19:32 25s main
main
September 14, 2024 19:32 25s
big_step タクティクが、if_true を適用すべき場面で if_false を適用してしまって詰むバグを修正 build test #20: Commit 7c9da08 pushed by Seasawher
September 14, 2024 19:30 26s main
main
September 14, 2024 19:30 26s
big_step というタクティクを作る build test #19: Commit d83a3e2 pushed by Seasawher
September 14, 2024 19:26 26s main
main
September 14, 2024 19:26 26s
コード整形 build test #18: Commit fb83cab pushed by Seasawher
September 10, 2024 14:41 24s main
main
September 10, 2024 14:41 24s
fix build test #17: Commit c5f2a1d pushed by Seasawher
September 10, 2024 14:07 1m 48s main
main
September 10, 2024 14:07 1m 48s
Sep 10 進捗 build test #16: Commit 0bbd9ac pushed by Seasawher
September 10, 2024 14:03 1m 27s main
main
September 10, 2024 14:03 1m 27s
aesop まわりのリファクタ build test #15: Commit 6941e21 pushed by Seasawher
September 9, 2024 17:29 25s main
main
September 9, 2024 17:29 25s
aesop を使って BigStep を示せるようにする build test #14: Commit 4ba54ca pushed by Seasawher
September 6, 2024 17:50 29s main
main
September 6, 2024 17:50 29s
証明をわかりやすくする build test #13: Commit 1d378cf pushed by Seasawher
September 6, 2024 14:40 31s main
main
September 6, 2024 14:40 31s
while_congr を証明する build test #12: Commit 1c245fd pushed by Seasawher
September 6, 2024 14:09 25s main
main
September 6, 2024 14:09 25s
証明を簡略化 build test #11: Commit 7db975c pushed by Seasawher
September 3, 2024 17:54 26s main
main
September 3, 2024 17:54 26s
Sep 3 進捗 build test #10: Commit 7208c0d pushed by Seasawher
September 3, 2024 13:59 33s main
main
September 3, 2024 13:59 33s
短い証明を採用する build test #9: Commit 8689f9c pushed by Seasawher
August 27, 2024 14:59 32s main
main
August 27, 2024 14:59 32s