Skip to content
Check Proofs

move Regex.lean and Commutes.lean to SimpleRegex.lean #469

Sign in to view logs

move Regex.lean and Commutes.lean to SimpleRegex.lean

move Regex.lean and Commutes.lean to SimpleRegex.lean #469

Annotations

1 warning

build

build
succeeded Dec 19, 2024 in 1m 17s