Discover laws in your code like with QuickSpec - View it on GitHub