Hacker News new | ask | show | jobs
by yuppiemephisto 67 days ago
lean IS that language https://github.com/alok/LeanPlot