Hacker News new | ask | show | jobs
by j2kun 492 days ago
Could you give some examples of tools that people use to automate explanation of linear programs?