lean

Make a new math project

lake new automaton math