Skip to content

Actions: jsiek/deduce

Actions

Deploy to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
static.yml
232 workflow runs
232 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #274 from jsiek/polarity-inference Deploy to GitHub Pages #448: Commit 3517a99 pushed by jsiek
1m 7s main
main
1m 7s
Merge pull request #273 from jsiek/strict-positivity-check Deploy to GitHub Pages #447: Commit 6f6ebee pushed by jsiek
1m 3s main
main
1m 3s
Merge pull request #271 from mateidragony/cool-error-messages Deploy to GitHub Pages #446: Commit 50bf673 pushed by jsiek
1m 59s main
main
1m 59s
Merge pull request #243 from Temperz87/prelude-again Deploy to GitHub Pages #445: Commit 3b46560 pushed by jsiek
1m 16s main
main
1m 16s
Merge pull request #270 from HalflingHelper/red_union_check Deploy to GitHub Pages #444: Commit dd8b1ab pushed by jsiek
1m 9s main
main
1m 9s
docs for inductive Deploy to GitHub Pages #443: Commit 4069775 pushed by HalflingHelper
1m 0s main
main
1m 0s
more UInt theorems from Nat Deploy to GitHub Pages #442: Commit 1b33acc pushed by jsiek
1m 21s main
main
1m 21s
tweak Deploy to GitHub Pages #441: Commit f417e16 pushed by jsiek
2m 40s main
main
2m 40s
typo: Deploy to GitHub Pages #440: Commit 7b6c5dc pushed by jsiek
2m 22s main
main
2m 22s
fixing up tutorial for switch proof statement Deploy to GitHub Pages #439: Commit 8309c9b pushed by jsiek
1m 55s main
main
1m 55s
more updates for switch Deploy to GitHub Pages #438: Commit 91a9f72 pushed by jsiek
1m 31s main
main
1m 31s
change to switch for bool to not create an equation Deploy to GitHub Pages #437: Commit 8b295cf pushed by jsiek
32s main
main
32s
proofs about uint max Deploy to GitHub Pages #436: Commit 9a80ba9 pushed by jsiek
1m 12s main
main
1m 12s
put ARROW back in Deploy to GitHub Pages #435: Commit 002e439 pushed by jsiek
2m 35s main
main
2m 35s
remove -> from the anon tokens, renumber the ones that come later Deploy to GitHub Pages #434: Commit 2d39a6a pushed by jsiek
26s main
main
26s
add ARROW to the known_tokens Deploy to GitHub Pages #433: Commit 25c8cb8 pushed by jsiek
29s main
main
29s
implement simplify-with and add documentation for simplify, addressin… Deploy to GitHub Pages #432: Commit ddbe207 pushed by jsiek
26s main
main
26s
Merge pull request #264 from HalflingHelper/cj/consume_token Deploy to GitHub Pages #431: Commit 8c8784e pushed by jsiek
25s main
main
25s
Merge pull request #263 from Temperz87/trace-docs Deploy to GitHub Pages #430: Commit b42bc84 pushed by jsiek
1m 36s main
main
1m 36s
finish issue #251 Deploy to GitHub Pages #429: Commit 25e6116 pushed by jsiek
1m 5s main
main
1m 5s
new keywords Deploy to GitHub Pages #428: Commit d689f95 pushed by jsiek
1m 6s main
main
1m 6s
Merge pull request #258 from HalflingHelper/custom-induction Deploy to GitHub Pages #427: Commit d29821b pushed by jsiek
24s main
main
24s
error files Deploy to GitHub Pages #426: Commit 1310482 pushed by jsiek
1m 40s main
main
1m 40s
implement simplify-in and test Deploy to GitHub Pages #425: Commit fdf3e2e pushed by jsiek
1m 33s main
main
1m 33s
add simplify to the proof advice Deploy to GitHub Pages #424: Commit 865788c pushed by jsiek
1m 10s main
main
1m 10s