Comment Comment by yuppiemephisto lean IS that language https://github.com/alok/LeanPlot parent yuppiemephisto 6 months ago
