Kurt Proof Language

harmeling.kurt-lang · by Stefan HarmelingVS Marketplace Not verified

First Released:

VS Marketplace: Oct 16, 2026

Last Updated:

VS Marketplace: Nov 2, 2026

The Kurt proof language: each line of a proof checked as you type, with its reason, errors and todos at their lines, completion, and hover with the certificate.

Programming Languages Linters Education

Install in VS Code ↗Compare ↗

VS Marketplace ↗Repository ↗

Historical performance

7d 15d 30d 90d 1y All

VISUAL STUDIO MARKETPLACE

Installs growth

Last snapshot: Nov 6, 2026, 22:15 UTC

Total installs12

7d growth2+20.0% over 7d

Community rating—Reviews unavailable

Latest version0.13.0Updated Nov 2, 2026

8 calculable days · 0 without calculable growth.

Search & category rankings

Categories ranked by installs on Marketplace and downloads on Open VSX.

Term	Marketplace	Open VSX
todoKeyword · 2026-11-06 22:43 UTC	#759 of 818 ↓2 1d↓1 7d	Not listed

Checked daily for up to 1,000 results per term. Changes appear when historical data is available.