Is it so that the regular developers focus on writing their Contracts locally and then submit them to be analysed globally?
Or is there a way to get something comparable to this experience? Maybe as a separate download?
Also if a library have Contracts, then would the intellisense tooltips would include the Contracts no matter what version of VS is used?