Code

only use simp only in Regex proofs#129

Code

Merged

awalterschulze merged 1 commit intomainkatydid/regex-deriv-lean:mainfrom only_use_simp_onlykatydid/regex-deriv-lean:only_use_simp_onlyCopy head branch name to clipboardJan 10, 2025

Commits

Commits on Jan 10, 2025

• only use simp only in Regex proofs

  awalterschulze

  committed
  04fc734

  Copy full SHA for 04fc734