All pull requests

Pull requests

• feat(MultiTapeTM): Routines for rewinding and clearing tapes

  #962·crei opened Sep 27, 2026Collaborator·

  ·

• feat(MeasureTheory): measures supported on finite sets

  #961·SamuelSchlesinger opened Sep 26, 2026Collaborator·

  ·

• feat(Circuit): relative circuit complexity

  #960·SamuelSchlesinger opened Sep 26, 2026Collaborator·

  ·

• feat(MultiTapeTM): branch and repeat primitives

  #959·crei opened Sep 26, 2026Collaborator·

  ·

• feat(Circuit): Lupanov proves the DeMorgan basis functionally complete

  #958·SamuelSchlesinger opened Sep 26, 2026Collaborator·5/5·

  ·

• feat(Circuit): circuit complexity on a support

  #955·SamuelSchlesinger opened Sep 25, 2026Collaborator·4/5·

  ·

• feat(Language): slices of languages as Boolean-valued functions

  #954·SamuelSchlesinger opened Sep 25, 2026Collaborator·

  ·
  4

• feat(Circuit): sequential and parallel composition of circuits

  #952·SamuelSchlesinger opened Sep 25, 2026Collaborator·3/5·

  ·

• feat(Finset): counting via involutions

  #950·SamuelSchlesinger opened Sep 25, 2026Collaborator·

  ·
  8

• refactor(Circuit): bundle gate count in circuits

  #949·SamuelSchlesinger opened Sep 24, 2026Collaborator·2/5·

  ·

• feat(Logic/CLL): cut elimination for Classical Linear Logic (CLL)

  #944·fmontesi opened Sep 23, 2026Collaborator·

  ·

• ci(nightly-testing): replace github-script JS with bash

  #940·jessealama opened Sep 23, 2026Contributor·

  ·

• feat(devcontainer): Add a devcontainer configuration

  #938·fmontesi opened Sep 22, 2026Collaborator·

  ·

• ci: auto-resolve lakefile.toml when merging main into the bump branch

  #931·jessealama opened Sep 21, 2026Contributor·

  ·

• feat(Logic): Basic Temporal Logic

  #927·fmontesi opened Sep 19, 2026Collaborator·

  ·

• feat(Complexity): Deterministic Decision Trees

  #925·Lsonic233 opened Sep 18, 2026Contributor·

  ·

• fix(MultiTapeTM): rename InExactTimeAndSpace

  #924·fynngodau opened Sep 18, 2026·

  ·
  5

• feat(Complexity): Query Complexity of Boolean Functions (aka Decision…

  #923·Lsonic233 opened Sep 18, 2026Contributor·

  ·
  29

• refactor: correct para_open_out variable orientation

  #920·lengyijun opened Sep 18, 2026Contributor·

  ·

• feat(LambdaCalculus): write mapVal in terms of List.map; add similar lemmas

  #919·pepamontero opened Sep 17, 2026·

  ·

• style(LambdaCalculus): unused variables and other small fixes in Context.lean

  #918·pepamontero opened Sep 17, 2026·

  ·

• ci(Dependabot): Distinguish major version bumps from minor/patch bumps

  #917·jessealama opened Sep 17, 2026Contributor·

  ·

• ci(nightly-testing): guard the bump-branch steps when the nightly bump branch exists

  #914·jessealama opened Sep 16, 2026Contributor·

  ·
  4

• ci: bump the actions group across 1 directory with 5 updates

  dependenciesgithub_actions
  #912·dependabot[bot] opened Sep 16, 2026Bot·

  ·
  1

• ci: declare shell: bash as the workflow default so every run step gets pipefail

  #911·jessealama opened Sep 16, 2026Contributor·

  ·