Skip to content

Actions: leanprover/cslib

Actions

Build and Deploy Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
234 workflow runs
234 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
chore: add the consequences of an empty alphabet type on Language and… Build and Deploy Documentation #234: Commit 5ccce0e pushed by github-merge-queue Bot
39m 29s main
main
39m 29s
feat(Computability/Languages): languages matching regular expressions… Build and Deploy Documentation #233: Commit 41fdae6 pushed by github-merge-queue Bot
36m 5s main
main
36m 5s
fix(Foundations): add noWs guard to well-formed postfix notation (#675) Build and Deploy Documentation #232: Commit e5ed905 pushed by github-merge-queue Bot
37m 10s main
main
37m 10s
chore: tweak bench suite (#715) Build and Deploy Documentation #231: Commit cc8dca4 pushed by github-merge-queue Bot
31m 8s main
main
31m 8s
feat(FLP): some technical machineries for reasoning about diamond and… Build and Deploy Documentation #230: Commit 6ae2079 pushed by github-merge-queue Bot
40m 38s main
main
40m 38s
fix(LocallyNameless): change multiApp to right-recursive (#708) Build and Deploy Documentation #229: Commit 056cf93 pushed by github-merge-queue Bot
42m 49s main
main
42m 49s
chore: update bench suite (#707) Build and Deploy Documentation #228: Commit 9d9053c pushed by github-merge-queue Bot
38m 59s main
main
38m 59s
feat(LocallyNameless/Untyped): new theorem lcAt_le (#699) Build and Deploy Documentation #227: Commit c0120dd pushed by github-merge-queue Bot
38m 9s main
main
38m 9s
feat(untyped): standardization theorem for the lambda calculus (#679) Build and Deploy Documentation #226: Commit 27d53d7 pushed by github-merge-queue Bot
47m 53s main
main
47m 53s
feat(Machines): Single-Tape Nondeterministic Turing Machines (NTMs) (… Build and Deploy Documentation #225: Commit f2aeae5 pushed by github-merge-queue Bot
37m 6s main
main
37m 6s
fix(Foundations/Syntax): guard substitution notation with noWs (#687) Build and Deploy Documentation #224: Commit 7940a10 pushed by github-merge-queue Bot
40m 46s main
main
40m 46s
chore: bump mathlib to d52d26f, fix breaking changes (#694) Build and Deploy Documentation #223: Commit 5c41dcf pushed by github-merge-queue Bot
41m 33s main
main
41m 33s
chore: disable .github/workflows/lake-update.yml on personal forks (#… Build and Deploy Documentation #222: Commit 1edb390 pushed by github-merge-queue Bot
40m 38s main
main
40m 38s
chore: fix the header of Cslib/Computability/Automata/DA/Prod.lean (#… Build and Deploy Documentation #221: Commit 2772f42 pushed by github-merge-queue Bot
40m 27s main
main
40m 27s
feat(Automata): Transducers (#650) Build and Deploy Documentation #220: Commit a441db6 pushed by github-merge-queue Bot
43m 3s main
main
43m 3s
feat(untyped): define CBN and Standard evaluation strategies (#671) Build and Deploy Documentation #219: Commit f10c049 pushed by github-merge-queue Bot
40m 33s main
main
40m 33s
chore: bump mathlib to 29af524, fix breaking changes (#670) Build and Deploy Documentation #218: Commit dbce0f9 pushed by github-merge-queue Bot
41m 27s main
main
41m 27s
feat: Set.ReflOn, Set.SymmOn (#663) Build and Deploy Documentation #217: Commit f03afdc pushed by github-merge-queue Bot
36m 4s main
main
36m 4s
refactor(LocallyNameless/Untyped): rename close_open_to_subst → close… Build and Deploy Documentation #216: Commit 5564021 pushed by github-merge-queue Bot
35m 56s main
main
35m 56s
feat(LocallyNameless/Untyped): generalize eta_subst_fvar (#667) Build and Deploy Documentation #215: Commit 7e1ac9d pushed by github-merge-queue Bot
36m 42s main
main
36m 42s
feat(LocallyNameless/Untyped): subst_intro weaker precondition (#666) Build and Deploy Documentation #214: Commit dc23a39 pushed by github-merge-queue Bot
39m 54s main
main
39m 54s
chore: bump toolchain to v4.32.0-rc1 (#664) Build and Deploy Documentation #213: Commit e0573fb pushed by github-merge-queue Bot
42m 31s main
main
42m 31s
feat(Automata, LTS, TM): Introduce LTS.SMTr and LTS.mapLabel, general… Build and Deploy Documentation #212: Commit 1dbda53 pushed by github-merge-queue Bot
39m 25s main
main
39m 25s
feat(FLP): show that asynchronous distributed consensus is possible w… Build and Deploy Documentation #211: Commit c2197ac pushed by github-merge-queue Bot
40m 3s main
main
40m 3s
refactor(Logics/Propositional): classical and intuitionistic inferenc… Build and Deploy Documentation #210: Commit 70c5bf5 pushed by github-merge-queue Bot
38m 7s main
main
38m 7s