3 ms·
I'm interested but "Lean programming languages" and its varieties are difficult to Google. Would you mind posting a complete reference?
by vladf 9y ago
I'm interested but "Lean programming languages" and its varieties are difficult to Google. Would you mind posting a complete reference?
- cf 9y agoI think this is a good application paper for Lean showing how you can use it to develop machine learning algorithms. https://arxiv.org/abs/1706.08605 https://arxiv.org/abs/1706.08605
- agentultra 9y agoSorry I forgot the link! https://leanprover.github.io/ https://leanprover.github.io/