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