Skip to content

fix import name generation#19

Closed
mo271 wants to merge 1 commit into
leanprover:masterfrom
mo271:import_fix
Closed

fix import name generation#19
mo271 wants to merge 1 commit into
leanprover:masterfrom
mo271:import_fix

use String.toName

af29685
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs