fix: set locale when running example commands#229

david-christiansen merged 1 commit into

masterleanprover/fp-lean:masterfrom

localeleanprover/fp-lean:localeCopy head branch name to clipboard