3 ms·
This is my thesis area! If you're interested in proof repair, check out my latest work: https://arxiv.org/abs/2010.00774 https://arxiv.org/abs/2010.00774 More
by tlringer 6y ago
This is my thesis area! If you're interested in proof repair, check out my latest work: https://arxiv.org/abs/2010.00774 https://arxiv.org/abs/2010.00774
More on my website: https://dependenttyp.es/ https://dependenttyp.es/
I hope more people work on this problem. It is a big and promising space. And I'll need students soon :)
- leafmeal 6y agoI think this area is super interesting! I am a regular software engineer with a background in math and CS. The most relevant experience I have is some tinkering with Haskell. Do you have any suggestions for how a full time employee can engage in this world and possibly start doing research?
- Taikonerd 6y agoI'm not the parent commenter, but as a way to dip your toes in, I've heard Dafny[1] is probably the easiest language / proof system to get started with. [1] https://rise4fun.com/dafny https://rise4fun.com/dafny
- deleted 6y ago[deleted]