LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Other

vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

7mo ago

Recent commits

Latest commits.

Release 0.0.221
c15861cMarc Huisinga7mo ago
chore: adjust minimum supported macos version to the one in the reference manual (#691)
c9465b9Marc Huisinga7mo ago
feat: setup diagnostic for whether OS is unsupported (#683)
890db58Marc Huisinga7mo ago
feat: more robust windows installation (#689)
4496ad3Marc Huisinga7mo ago
Release 0.0.220
1058b0eMarc Huisinga7mo ago

fix: incorrect character escape sequence highlighting (#688)

21bb405Marc Huisinga7mo ago

Release 0.0.219

943d430Marc Huisinga8mo ago

fix: don't enable server logging by default (#687)

3dc1a55Marc Huisinga8mo ago

Top contributors

Builders behind this project.

marianaalanis93