redtt diagnostics - Visual Studio Marketplace

Extension for Visual Studio Code - Diagnostics for the redtt Proof Assistant