Skip to content

Actions: Seasawher/ConcreteSemantics.lean

Actions

build test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
48 workflow runs
48 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

修正 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
README追加 build test #8: Commit 449d7ac pushed by Seasawher
August 27, 2024 14:54 27s main
main
August 27, 2024 14:54 27s
Aug27 進捗 build test #7: Commit dabd13e pushed by Seasawher
August 27, 2024 14:03 34s main
main
August 27, 2024 14:03 34s
7.2.3 Rule Inversion 終了 build test #6: Commit bfef483 pushed by Seasawher
August 24, 2024 07:01 23s main
main
August 24, 2024 07:01 23s
while_iff まで終わらせる build test #5: Commit a0d03b6 pushed by Seasawher
August 24, 2024 04:41 1m 30s main
main
August 24, 2024 04:41 1m 30s
ラムダ式の簡約を conv で行う build test #4: Commit b12ac4d pushed by Seasawher
August 24, 2024 04:13 29s main
main
August 24, 2024 04:13 29s
Aug20 progress build test #2: Commit 0099631 pushed by Seasawher
August 20, 2024 14:01 27s main
main
August 20, 2024 14:01 27s
setup workflow build test #1: Commit 18081ca pushed by Seasawher
August 20, 2024 12:15 24s main
main
August 20, 2024 12:15 24s