3 ms·
If you want to learn more about the basics of theorem proving through dependent types, Wadler’s Agda tutorial at https://plfa.github.io https://plfa.github.io
by evolveyourmind 5y ago
If you want to learn more about the basics of theorem proving through dependent types, Wadler’s Agda tutorial at https://plfa.github.io https://plfa.github.io would be a good starting point
- baddash 5y agoappreciate it, thanks