Code

trying a faster and simpler simp#11

Code

Open

fchapoton wants to merge 2 commits intosmzg:mainsmzg/msinvar:mainfrom fchapoton:faster_simp_proposalfchapoton/msinvar:faster_simp_proposalCopy head branch name to clipboard

+16-7

Commits

Commits on Sep 20, 2023

• trying a faster and simpler simp

  fchapoton

  committed
  9d1592a

  Copy full SHA for 9d1592a

• detail

  fchapoton

  committed
  462500a

  Copy full SHA for 462500a