Code

feat: add well founded streams#1079

Code

Open

fgdorais wants to merge 2 commits intomainleanprover-community/batteries:mainfrom stream-wfleanprover-community/batteries:stream-wfCopy head branch name to clipboard

+423-93

Commits

Commits on Dec 26, 2024

• feat: add well founded streams

  fgdorais

  committed
  ae86fa8

  Copy full SHA for ae86fa8

Commits on Jan 5, 2025

• Merge branch 'main' into stream-wf

  fgdorais

  authored
  8a4fd32

  Copy full SHA for 8a4fd32