feat: Add initial documentation for smart contract problem and solution, including tasks for vulnerability detection and property discovery f93644a
ajaxwin commited on