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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
1m 17s
1m 17s