Skip to content
Back to the index

Visualstudio

visualstudio.comIDEs & code editors

No liveness check has reached it yet; it is registered on the VS Code Marketplace and has been in the index since 16 Sep 2026. How this is checked

A VS Code extension for learning theorem proving in a self-contained Lean-4-style language. It includes a language server, kernel-based grading, an Infoview goal panel, graded exercises, and agent skills that let an LLM provide proof-teaching assistance.

Inferred · not functionally tested

FreeWebWindowsmacOSLinux
Visit visualstudio.com

Overview

6 features

Purpose: Helps learners practice and receive feedback on formal theorem proving without installing a separate language toolchain.

Inferred · not functionally tested

Audience: students and developers learning theorem proving

Inferred · not functionally tested

Functions: code_generation

Inferred · not functionally tested

Interfaces: API: unknown · MCP: unknown · CLI: unknown · Self-hosting: unknown

Recorded constraints: pricing: free · license: Proprietary · platforms: WEB · deployment: browser, windows, macos, linux

Constraint provenance is unknown; confirm requirements with the publisher.

Record sources: unknown.

In the IDEs & code editors space, Visualstudio takes a focused approach. Inferred · not functionally tested: It helps learners practice and receive feedback on formal theorem proving without installing a separate language toolchain. Inferred · not functionally tested: Visualstudio is a consumer product aimed at students and developers learning theorem proving. Basis unknown · not verified: It is available for free. Basis unknown · not verified: Visualstudio is available on the web, Windows, macOS, and Linux.

It is developed by sokonanoda-lang, and it first shipped in 2026. Inferred · not functionally tested: Key capabilities include theorem proving, kernel grading, and infoview panel.

Summary written by a language model from the project’s public pages.

Tasks: Inferred · not functionally tested

  • Theorem proving
  • Kernel grading
  • Infoview panel
  • Graded exercises
  • Language server
  • LLM proof teacher

Topics: Inferred · not functionally tested

Tags
theorem-provinglean-style-languageproof-assistantformal-methodsllm-tutoring
AI capabilities
Code
Inference: Hybrid

JSON profile · Text profile · Access guide

Built with & integrations

Connectors
vscode
Runs on
BrowserWindowsmacOSLinux

Trust & compliance

Public signals
HTTPSFree tierStore listing found

Indexing history

1

What PulseGate has recorded for this listing

  1. Indexed16 Sep · 12:29 UTC
    sokonanoda language support seen via VS Code Marketplace
    Source: VS Code Marketplace · Open

Frequently asked questions about Visualstudio

What is Visualstudio?
Inferred · not functionally tested: Visualstudio helps learners practice and receive feedback on formal theorem proving without installing a separate language toolchain. It is catalogued under IDEs & code editors on PulseGate.
Who is Visualstudio for?
Inferred · not functionally tested: Visualstudio is a consumer product built for students and developers learning theorem proving.
Is Visualstudio free?
Basis unknown · not verified: Yes — Visualstudio is free to use.
What platforms does Visualstudio run on?
Basis unknown · not verified: Visualstudio runs on the web, Windows, macOS, and Linux.
Is Visualstudio still maintained?
Unverified. Visualstudio has not been re-checked since it entered the index, so there is no finding either way — and only a positive finding would say otherwise.
What projects are similar to Visualstudio?
Similar projects tracked by PulseGate include Visualstudio, Visualstudio, and Visualstudio.VisualstudioVisualstudioVisualstudio
Who develops Visualstudio?
Visualstudio is developed by sokonanoda-lang.
How long has Visualstudio been around?
Visualstudio first shipped in 2026.

Similar projects

Closest matches by what these projects do