Skip to content

Actions: katydid/proofs

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
121 workflow runs
121 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Lang and dLang Check Proofs #327: Commit 8105af6 pushed by awalterschulze
March 15, 2024 15:10 6m 45s main
main
March 15, 2024 15:10 6m 45s
Lang and dLang Check Proofs #326: Pull request #83 opened by awalterschulze
March 15, 2024 14:58 6m 50s decidable
decidable
March 15, 2024 14:58 6m 50s
Lang and dLang Check Proofs #325: Commit aa171da pushed by awalterschulze
March 15, 2024 14:58 6m 53s decidable
decidable
March 15, 2024 14:58 6m 53s
trfl function Check Proofs #324: Commit 0002f11 pushed by awalterschulze
February 25, 2024 15:46 6m 37s main
main
February 25, 2024 15:46 6m 37s
trfl function Check Proofs #323: Pull request #82 opened by awalterschulze
February 25, 2024 15:38 6m 45s trfl
trfl
February 25, 2024 15:38 6m 45s
trfl function Check Proofs #322: Commit 97aa860 pushed by awalterschulze
February 25, 2024 15:37 6m 41s trfl
trfl
February 25, 2024 15:37 6m 41s
Update Lean version Check Proofs #321: Commit 612d709 pushed by awalterschulze
February 25, 2024 15:01 6m 42s main
main
February 25, 2024 15:01 6m 42s
Update Lean version Check Proofs #320: Pull request #81 opened by awalterschulze
February 25, 2024 14:47 6m 37s lean4.5
lean4.5
February 25, 2024 14:47 6m 37s
Update Lean version Check Proofs #319: Commit 1f7745d pushed by awalterschulze
February 25, 2024 14:47 6m 44s lean4.5
lean4.5
February 25, 2024 14:47 6m 44s
proof relevant parse 2 Check Proofs #318: Commit ad2be0f pushed by awalterschulze
February 3, 2024 18:10 6m 43s main
main
February 3, 2024 18:10 6m 43s
proof relevant parse 2 Check Proofs #317: Pull request #80 opened by awalterschulze
February 3, 2024 18:03 7m 1s proof_revelant_parse
proof_revelant_parse
February 3, 2024 18:03 7m 1s
proof relevant parse 2 Check Proofs #316: Commit 130763e pushed by awalterschulze
February 3, 2024 18:02 6m 48s proof_revelant_parse
proof_revelant_parse
February 3, 2024 18:02 6m 48s
massive cleanup Check Proofs #315: Commit a9f7918 pushed by awalterschulze
February 3, 2024 17:51 6m 31s main
main
February 3, 2024 17:51 6m 31s
massive cleanup Check Proofs #314: Pull request #79 opened by awalterschulze
February 3, 2024 17:40 6m 36s cleanup
cleanup
February 3, 2024 17:40 6m 36s
massive cleanup Check Proofs #313: Commit b5a067a pushed by awalterschulze
February 3, 2024 17:39 6m 52s cleanup
cleanup
February 3, 2024 17:39 6m 52s
Try out Homotopy Type Theory Check Proofs #312: Commit 4150dbf pushed by awalterschulze
February 3, 2024 15:15 52s main
main
February 3, 2024 15:15 52s
Try out Homotopy Type Theory Check Proofs #311: Pull request #78 opened by awalterschulze
February 3, 2024 15:14 43s tryhott
tryhott
February 3, 2024 15:14 43s
Try out Homotopy Type Theory Check Proofs #310: Commit e64b201 pushed by awalterschulze
February 3, 2024 15:12 41s tryhott
tryhott
February 3, 2024 15:12 41s
Hott alternatives for Language and Calculus Check Proofs #309: Commit 6d11a98 pushed by awalterschulze
January 28, 2024 13:07 40s main
main
January 28, 2024 13:07 40s
Hott alternatives for Language and Calculus Check Proofs #308: Pull request #77 opened by awalterschulze
January 28, 2024 13:05 42s hott
hott
January 28, 2024 13:05 42s
Hott alternatives for Language and Calculus Check Proofs #307: Commit 4effa43 pushed by awalterschulze
January 28, 2024 13:04 39s hott
hott
January 28, 2024 13:04 39s
Add groundzero dependency and update lean-toolchain Check Proofs #306: Commit a5256b1 pushed by awalterschulze
January 28, 2024 12:14 6m 40s main
main
January 28, 2024 12:14 6m 40s
Add groundzero dependency and update lean-toolchain Check Proofs #305: Pull request #76 opened by awalterschulze
January 28, 2024 12:07 6m 51s groundzero
groundzero
January 28, 2024 12:07 6m 51s
Add groundzero dependency and update lean-toolchain Check Proofs #304: Commit 77df7c5 pushed by awalterschulze
January 28, 2024 12:07 6m 35s groundzero
groundzero
January 28, 2024 12:07 6m 35s
some surprising proofs about Eq and TEq Check Proofs #303: Commit e355e8b pushed by awalterschulze
January 28, 2024 12:03 6m 25s main
main
January 28, 2024 12:03 6m 25s