Code

feat: add String.splitOn_of_valid#743

Code

Open

chabulhwi wants to merge 4 commits intoleanprover-community:mainleanprover-community/batteries:mainfrom chabulhwi:String.splitOn_of_valid_v3chabulhwi/batteries:String.splitOn_of_valid_v3Copy head branch name to clipboard

+429-2

Commits

Commits on Oct 14, 2024

• feat: add lemmas about Nat.add and Nat.le

  chabulhwi

  committed
  fda375d

  Copy full SHA for fda375d

Commits on Oct 15, 2024

• feat: add lemmas about lists

  Show description for 3101dcd
  chabulhwi

  committed
  3101dcd

  Copy full SHA for 3101dcd

• feat: add Batteries.Data.List.SplitOnList

  Show description for 4d97a5b
  

  3 peoplecommitted
  4d97a5b

  Copy full SHA for 4d97a5b

• feat: add String.splitOn_of_valid

  Show description for 2292378
  chabulhwi

  committed
  2292378

  Copy full SHA for 2292378