Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 1, 2025

• chore: make various automata accept `Language _` rather than `Set (List _)` (#135)

  Show description for 06deeec
  

  ctchou

  and

  chenson2018

  authored
  06deeec

  Copy full SHA for 06deeec

Commits on Oct 29, 2025

• feat: add Cslib.Init module and checkInitImports linter (#131)

  Show description for 9dd5453
  

  jessealama

  and

  chenson2018

  authored
  9dd5453

  Copy full SHA for 9dd5453

• chore: golfing in `BehaviouralTheory` (#130)

  Show description for 8d03291
  chenson2018

  authored
  8d03291

  Copy full SHA for 8d03291

• chore: more environment linting (#127)

  Show description for a58c7b9
  chenson2018

  authored
  a58c7b9

  Copy full SHA for a58c7b9

• chore: add Lint import to CslibTests.lean (#126)

  Show description for 030b5c0
  chenson2018

  authored
  030b5c0

  Copy full SHA for 030b5c0

Commits on Oct 28, 2025

• feat: add Cslib/Computability/Languages/OmegaLanguage.lean (#92)

  Show description for e0a40fd
  

  ctchou

  and

  chenson2018

  authored
  e0a40fd

  Copy full SHA for e0a40fd

Commits on Oct 27, 2025

• chore: prefer use to refine (#129)

  Show description for 8c1748c
  chenson2018

  authored
  8c1748c

  Copy full SHA for 8c1748c

• feat: scope notations generated for LTS and ReductionSystem (#133)

  Show description for 39af1c0
  chenson2018

  authored
  39af1c0

  Copy full SHA for 39af1c0

• fix: remove unnecessary noncomputable (#134)

  Show description for 5435910
  XYUnknown

  authored
  5435910

  Copy full SHA for 5435910

Commits on Oct 24, 2025

• feat: environment linters (#123)

  Show description for f39bbcf
  chenson2018

  authored
  f39bbcf

  Copy full SHA for f39bbcf

• feat: Support extensional equality in FinFun (#118)

  Show description for f220269
  

  fmontesi

  and

  chenson2018

  authored
  f220269

  Copy full SHA for f220269

Commits on Oct 23, 2025

• chore: replace phi by f to avoid potential conflict with Euler totient function (#116)

  ctchou

  authored
  7c752ca

  Copy full SHA for 7c752ca

• chore: add Cslib.Languages.CombinatoryLogic.Evaluation to Cslib.lean (#114)

  ctchou

  authored
  25c0c34

  Copy full SHA for 25c0c34

• chore: update CODEOWNERS to reflect the current processes

  fmontesi

  committed
  9625751

  Copy full SHA for 9625751

• chore: `lake update` to fixed Mathlib cache (#119)

  kim-em

  authored
  be38b48

  Copy full SHA for be38b48

Commits on Oct 22, 2025

• chore: bump toolchain to v4.25.0-rc2 (#117)

  kim-em

  authored
  b8baa33

  Copy full SHA for b8baa33

Commits on Oct 21, 2025

• chore: bump toolchain to v4.25.0-rc1 (#115)

  Show description for 009a7b4
  

  4 peopleauthored
  009a7b4

  Copy full SHA for 009a7b4

Commits on Oct 20, 2025

• Rice's theorem (#57)

  Show description for d260cca
  

  12 peopleauthored
  d260cca

  Copy full SHA for d260cca

• chore(Languages/CCS): Mathlib linting, more readable proof of Act.Co decidability (#113)

  Show description for 0616826
  chenson2018

  authored
  0616826

  Copy full SHA for 0616826

• feat: Flattening operation on OmegaSequence (#111)

  Show description for 3fe9a70
  ctchou

  authored
  3fe9a70

  Copy full SHA for 3fe9a70

Commits on Oct 16, 2025

• chore: add namespace Cslib to Cslib/Foundations/Data/OmegaSequence (#112)

  ctchou

  authored
  0e28a18

  Copy full SHA for 0e28a18

Commits on Oct 15, 2025

• feat(CI): add workflow to check for commit convention (#110)

  Show description for 1c38168
  chenson2018

  authored
  1c38168

  Copy full SHA for 1c38168

• feat: add Cslib/Foundations/Data/OmegaSequence/* (#90)

  Show description for 4c176fc
  

  ctchou

  and

  fmontesi

  authored
  4c176fc

  Copy full SHA for 4c176fc

• chore: run `lake exe mk_all` (#107)

  Show description for cb45d51
  kim-em

  authored
  cb45d51

  Copy full SHA for cb45d51

• chore: add scripts/README.md (#106)

  Show description for d7a7843
  kim-em

  authored
  d7a7843

  Copy full SHA for d7a7843

• chore: don't check docs toolchain unless in a PR or main branch (#102)

  Show description for 93a195c
  chenson2018

  authored
  93a195c

  Copy full SHA for 93a195c

• Namespace everything (#105)

  Show description for b67b106
  

  Shreyas4991

  and

  chenson2018

  authored
  b67b106

  Copy full SHA for b67b106

Commits on Oct 14, 2025

• chore: bump toolchain to v4.24.0 (#103)

  Show description for e1fea78
  

  kim-em

  and

  chenson2018

  authored
  e1fea78

  Copy full SHA for e1fea78

• chore: skip nightly-testing workflows in forks (#100)

  Show description for 8f20884
  kim-em

  authored
  8f20884

  Copy full SHA for 8f20884

• fix: validate git dependency and only update rev in nightly workflow (#99)

  Show description for 25d3b0f
  

  kim-em

  and

  claude

  authored
  25d3b0f

  Copy full SHA for 25d3b0f

• chore: update mathlib name in nightly-testing workflow (#98)

  Show description for 23a5fae
  

  kim-em

  and

  claude

  authored
  23a5fae

  Copy full SHA for 23a5fae

• chore: install lake in bump nightly-testing toolchain CI (#97)

  kim-em

  authored
  f48e8fe

  Copy full SHA for f48e8fe

• chore: fix CI step that bumps nightly-testing toolchain (#96)

  kim-em

  authored
  387b638

  Copy full SHA for 387b638

Commits on Oct 7, 2025

• feat (Computability/Automata): Automata theory based on LTS, including DFA, NFA, EpsilonNFA, and translations between them, plus supporting theorems generalised to LTS (#83)

  Show description for e9cfac9
  

  fmontesi

  and

  chenson2018

  authored
  e9cfac9

  Copy full SHA for e9cfac9

Commits on Oct 6, 2025

• feat(Languages/LambdaCalculus/LocallyNameless): Fsub (#68)

  Show description for f5be8a8
  chenson2018

  authored
  f5be8a8

  Copy full SHA for f5be8a8

Pagination

Previous

Next