Skip to content

Actions: katydid/regex-deriv-reproving-agda-in-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
51 workflow runs
51 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix definition of concat Check Proofs #51: Commit 6be93de pushed by awalterschulze
December 8, 2024 11:28 21s main
main
December 8, 2024 11:28 21s
fix definition of concat Check Proofs #50: Pull request #6 opened by awalterschulze
December 8, 2024 11:27 22s fix_concat
fix_concat
December 8, 2024 11:27 22s
fix definition of concat Check Proofs #49: Commit 5b6fe27 pushed by awalterschulze
December 8, 2024 11:27 26s fix_concat
fix_concat
December 8, 2024 11:27 26s
use nofun instead of contradiction tactic Check Proofs #48: Commit 3d6d72f pushed by awalterschulze
September 3, 2024 13:39 19s main
main
September 3, 2024 13:39 19s
rename some types Check Proofs #47: Commit 6555f15 pushed by awalterschulze
September 3, 2024 13:38 18s renamings
renamings
September 3, 2024 13:38 18s
add more thank yous Check Proofs #46: Commit 54463ca pushed by awalterschulze
September 3, 2024 06:37 19s main
main
September 3, 2024 06:37 19s
remove final global parameters Check Proofs #45: Commit e7de130 pushed by awalterschulze
August 30, 2024 15:18 24s main
main
August 30, 2024 15:18 24s
minor consistency changes Check Proofs #44: Commit e073180 pushed by awalterschulze
August 29, 2024 15:45 18s main
main
August 29, 2024 15:45 18s
Simplify null_concat and finish proof Check Proofs #43: Commit 0d859b7 pushed by awalterschulze
August 29, 2024 15:42 20s main
main
August 29, 2024 15:42 20s
added todos back for null_star Check Proofs #42: Commit bf96693 pushed by awalterschulze
August 29, 2024 15:42 22s main
main
August 29, 2024 15:42 22s
simplify derive_char Check Proofs #41: Commit 1a97e16 pushed by awalterschulze
August 29, 2024 15:41 20s main
main
August 29, 2024 15:41 20s
update readme with instructions on how to rewrite Check Proofs #40: Commit 91dbeb7 pushed by awalterschulze
August 29, 2024 15:26 20s main
main
August 29, 2024 15:26 20s
proof derive_char Check Proofs #39: Commit 11ab428 pushed by awalterschulze
August 29, 2024 15:24 19s main
main
August 29, 2024 15:24 19s
Simplify null_concat and finish proof Check Proofs #38: Pull request #5 opened by keeganperry7
August 29, 2024 15:19 20s keeganperry7:null_concat
keeganperry7:null_concat
August 29, 2024 15:19 20s
some proofs of null star Check Proofs #37: Commit 710b2b5 pushed by awalterschulze
August 29, 2024 14:21 25s main
main
August 29, 2024 14:21 25s
Partially prove null_concat Check Proofs #36: Commit 2c226c4 pushed by awalterschulze
August 29, 2024 14:20 19s main
main
August 29, 2024 14:20 19s
Partially prove null_concat Check Proofs #35: Pull request #4 opened by keeganperry7
August 29, 2024 14:18 24s keeganperry7:null_concat
keeganperry7:null_concat
August 29, 2024 14:18 24s
Sized automatic with fuel Check Proofs #34: Pull request #3 opened by awalterschulze
August 29, 2024 14:01 20s sized_automatic2
sized_automatic2
August 29, 2024 14:01 20s
update readme with note on Agda sized types Check Proofs #33: Commit f97d403 pushed by awalterschulze
August 29, 2024 14:00 20s main
main
August 29, 2024 14:00 20s
sized automatic with fuel Check Proofs #32: Commit 61efaf7 pushed by awalterschulze
August 29, 2024 13:51 19s sized_automatic2
sized_automatic2
August 29, 2024 13:51 19s
simplify null_emptystr Check Proofs #31: Commit dbe9121 pushed by awalterschulze
August 29, 2024 11:07 20s main
main
August 29, 2024 11:07 20s
add some proofs in Calculus Check Proofs #30: Commit ad0f044 pushed by awalterschulze
August 29, 2024 10:56 18s main
main
August 29, 2024 10:56 18s
add more code highlighting to readme Check Proofs #29: Commit 9254855 pushed by awalterschulze
August 29, 2024 09:43 19s main
main
August 29, 2024 09:43 19s
explain missing coinduction feature Check Proofs #28: Commit 4c78c98 pushed by awalterschulze
August 29, 2024 09:39 23s main
main
August 29, 2024 09:39 23s
a start to translating SizedAutomatic.lagda into lean Check Proofs #27: Commit d9f04cb pushed by awalterschulze
August 29, 2024 09:27 17s sized_automatic
sized_automatic
August 29, 2024 09:27 17s