2 ms·lean IS that language https://github.com/alok/LeanPlot https://github.com/alok/LeanPlotby yuppiemephisto 6mo agolean IS that language https://github.com/alok/LeanPlot https://github.com/alok/LeanPlot