/java/sca-contrib/samples/calculator-lean/src/