Skip to content

Actions: leanprover/cslib

Actions

Build and Deploy Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
175 workflow runs
175 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
feat(CombinatoryLogic): SKI terms for Nat.sqrt, Nat.pair, and Nat.unp… Build and Deploy Documentation #125: Commit d2d33ff pushed by github-merge-queue Bot
48m 27s main
main
48m 27s
refactor: congruence closure for eta-reduction (#428) Build and Deploy Documentation #124: Commit 2d9ad57 pushed by github-merge-queue Bot
48m 33s main
main
48m 33s
fix: make the @[lts] attribute attach hover info correctly (#432) Build and Deploy Documentation #123: Commit 4f2b2d2 pushed by github-merge-queue Bot
47m 22s main
main
47m 22s
ci: set TEST_ARGS manually (#422) Build and Deploy Documentation #122: Commit 1d91c3f pushed by github-merge-queue Bot
46m 16s main
main
46m 16s
feat: monadic lemmas for FreeM.liftM (#423) Build and Deploy Documentation #121: Commit 4f3737a pushed by github-merge-queue Bot
50m 42s main
main
50m 42s
refactor: use Qq in free_union (#433) Build and Deploy Documentation #120: Commit 9fbbd6a pushed by github-merge-queue Bot
29m 0s main
main
29m 0s
chore: simplify the DFA example (#430) Build and Deploy Documentation #119: Commit ea86c67 pushed by github-merge-queue Bot
49m 37s main
main
49m 37s
feat: StrongNormalizationUntypedAndStlc (#411) Build and Deploy Documentation #118: Commit b39710e pushed by github-merge-queue Bot
49m 37s main
main
49m 37s
feat: prove strong confluence of eta-reduction (#425) Build and Deploy Documentation #117: Commit a915db9 pushed by github-merge-queue Bot
50m 41s main
main
50m 41s
feat: Add η-reduction definition (#414) Build and Deploy Documentation #116: Commit 9a159ac pushed by github-merge-queue Bot
46m 27s main
main
46m 27s
style: fix more bad indents (#420) Build and Deploy Documentation #115: Commit dedc0d7 pushed by github-merge-queue Bot
6m 39s main
main
6m 39s
chore: golf a proof (#419) Build and Deploy Documentation #114: Commit b1465e7 pushed by github-merge-queue Bot
3m 20s main
main
3m 20s
style: fix bad indents (#418) Build and Deploy Documentation #113: Commit be738a8 pushed by github-merge-queue Bot
3m 30s main
main
3m 30s
chore: bump toolchain to v4.29.0-rc6 (#412) Build and Deploy Documentation #112: Commit ef87c06 pushed by github-merge-queue Bot
7m 27s main
main
7m 27s
feat: multiSubst (#410) Build and Deploy Documentation #111: Commit 6593225 pushed by github-merge-queue Bot
51m 45s main
main
51m 45s
feat: classes for inference systems and logical equivalence (#398) Build and Deploy Documentation #110: Commit 89a116b pushed by github-merge-queue Bot
26m 12s main
main
26m 12s
feat: MultiAppForStrongNorm (#405) Build and Deploy Documentation #109: Commit e47d496 pushed by github-merge-queue Bot
51m 30s main
main
51m 30s
feat: change context notation to ·<[·] (#393) Build and Deploy Documentation #108: Commit 5a72d6a pushed by github-merge-queue Bot
25m 24s main
main
25m 24s
chore(ci): split checkInitImports into its own test (#386) Build and Deploy Documentation #107: Commit b96a4cb pushed by github-merge-queue Bot
50m 17s main
main
50m 17s
ci: disable shake again (#397) Build and Deploy Documentation #106: Commit 7460006 pushed by github-merge-queue Bot
43m 34s main
main
43m 34s
chore: bump toolchain to v4.29.0-rc4 (#399) Build and Deploy Documentation #105: Commit 8c9f669 pushed by github-merge-queue Bot
56m 5s main
main
56m 5s
feat: helper lemmas for use in the planned strong norm proof (#381) Build and Deploy Documentation #104: Commit 11957b8 pushed by github-merge-queue Bot
50m 12s main
main
50m 12s
chore: bump toolchain to v4.29.0-rc3 (#382) Build and Deploy Documentation #103: Commit 0ee36ae pushed by github-merge-queue Bot
51m 48s main
main
51m 48s
chore(ci): module aware shake, test flags (#379) Build and Deploy Documentation #102: Commit 2293f61 pushed by github-merge-queue Bot
50m 42s main
main
50m 42s
feat: Single Tape Turing Machines (#269) Build and Deploy Documentation #101: Commit 2a1f434 pushed by github-merge-queue Bot
49m 25s main
main
49m 25s