4 ms·
So, as someone who is curious but have no idea of the theoretical background here.. what should I learn in order to help me understand the code + use this langu
by baddash 5y ago
So, as someone who is curious but have no idea of the theoretical background here.. what should I learn in order to help me understand the code + use this language in a basic way? I think the idea of being able to construct proofs is pretty cool but I'm pretty lost here.
- evolveyourmind 5y agoIf 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
- caotic123 5y agoI also recommend the software foundations in coq https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/.