Explore projects

Property probe implementation. This project has moved to GitHub: https://github.com/lu-cs-sde/codeprober/