Skip to content

Actions: m-ow/cslib

Actions

Build and Deploy Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
21 workflow runs
21 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(Cryptography): formalise perfect secrecy and the one-time pad (#… Build and Deploy Documentation #21: Commit 906574d pushed by m-ow
1s main
main
1s
fix: missing pures in the Id monad (#439) Build and Deploy Documentation #20: Commit f22a241 pushed by m-ow
Skipped main
main
Skipped
feat: define the category of LTSs (#391) Build and Deploy Documentation #19: Commit 48e29fd pushed by m-ow
1s main
main
1s
chore: bump toolchain to v4.29.0 (#463) Build and Deploy Documentation #18: Commit 0d37cc7 pushed by m-ow
1s main
main
1s
chore: bump toolchain to v4.29.0-rc7 (#452) Build and Deploy Documentation #17: Commit 1119f31 pushed by m-ow
1s main
main
1s
fix: namespacing for reduction_sys (#437) Build and Deploy Documentation #16: Commit cf466f8 pushed by m-ow
Skipped main
main
Skipped
fix: make the @[lts] attribute attach hover info correctly (#432) Build and Deploy Documentation #15: Commit 4f2b2d2 pushed by m-ow
Skipped main
main
Skipped
feat: StrongNormalizationUntypedAndStlc (#411) Build and Deploy Documentation #14: Commit b39710e pushed by m-ow
1s main
main
1s
feat: Add η-reduction definition (#414) Build and Deploy Documentation #13: Commit 9a159ac pushed by m-ow
1s main
main
1s
chore: bump toolchain to v4.29.0-rc6 (#412) Build and Deploy Documentation #12: Commit ef87c06 pushed by m-ow
1s main
main
1s
feat: classes for inference systems and logical equivalence (#398) Build and Deploy Documentation #11: Commit 89a116b pushed by m-ow
2s main
main
2s
feat: change context notation to ·<[·] (#393) Build and Deploy Documentation #10: Commit 5a72d6a pushed by m-ow
1s main
main
1s
chore(ci): module aware shake, test flags (#379) Build and Deploy Documentation #9: Commit 2293f61 pushed by m-ow
1s main
main
1s
feat: prove the Ramsey theorem for infinite graphs (#281) Build and Deploy Documentation #8: Commit 18b4b74 pushed by m-ow
1s main
main
1s
chore: lake update for 2026-02-06 (#326) Build and Deploy Documentation #7: Commit f0d87b6 pushed by m-ow
2s main
main
2s
feat: Hennessy-Milner logic (#319) Build and Deploy Documentation #6: Commit 329a0dc pushed by m-ow
1s main
main
1s
feat: TimeM is a LawfulMonad (#316) Build and Deploy Documentation #5: Commit 9afdb6a pushed by m-ow
2s main
main
2s
feat: add notion of finite execution for LTS (#258) Build and Deploy Documentation #4: Commit 67e8e4f pushed by m-ow
1s main
main
1s
feat: prove that the omega-power of a regular language is an omega-re… Build and Deploy Documentation #3: Commit ab28b63 pushed by m-ow
1s main
main
1s
feat(Cslib/Logics/LinearLogic/CLL/PhaseSemantics/Basic.lean): add dis… Build and Deploy Documentation #2: Commit 01d43b6 pushed by m-ow
1s main
main
1s
feat: improve weekly lint report to use table format (#221) Build and Deploy Documentation #1: Commit aa7d978 pushed by m-ow
2s main
main
2s