automated testing for code::proof in data analysis
Slides for seminar above neet tests.
Long-term plan, to develop this seminar into a workshop.
Suggestions, notes, etc.