LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

TypeScript

vscode-lean4

Vtec234/vscode-lean4

TypeScriptEmerging

Stars

—

Forks

—

Contributors

8

Last push

3mo ago

Recent commits

Latest commits.

Release 0.0.109
c9edf66Wojciech Nawrocki35mo ago
fix: trace explorer click handling
2d68790Wojciech Nawrocki35mo ago
fix: inconsistent message count
7f4b2c8Wojciech Nawrocki35mo ago
Release 0.0.108
072892aGabriel Ebner35mo ago
Fix paths.
e6c6d40Gabriel Ebner35mo ago

Release 0.0.107

6f58bfaGabriel Ebner35mo ago

6231e7cGabriel Ebner35mo ago

Release 0.0.106

2bb077aGabriel Ebner35mo ago

Top contributors

Builders behind this project.

marianaalanis93