lean IS that language https://github.com/alok/LeanPlot