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