script/camel.sh - third_party/github.com/leanprover/lean4 - Git at Google


            
            #!/usr/bin/env bash

            
            find library -name '*.lean' -exec script/camel.py {} \;

            
            find tests -name '*.lean' -exec script/camel.py {} \;

            
            script/camel.py src/library/constants.txt
	#!/usr/bin/env bash
	find library -name '*.lean' -exec script/camel.py {} \;
	find tests -name '*.lean' -exec script/camel.py {} \;
	script/camel.py src/library/constants.txt