LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

fstar-vscode-assistant

An interactive mode for F* in VS Code

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

4mo ago

Recent commits

Latest commits.

0.24.0
72d117eGabriel Ebner4mo ago
Add more Pulse keywords.
ad53929Gabriel Ebner4mo ago
0.23.1
dba60fdGabriel Ebner7mo ago
Merge pull request #62 from FStarLang/_nik_fix_fname_matching_for_v3
0ad6292Gabriel Ebner7mo ago
only compare basenames to check if F* reported filename matches current doc
d736c46Nikhil Swamy7mo ago

Fix test.

0040af0Gabriel Ebner7mo ago

Update to typescript 5.9.

6cd1ce6Gabriel Ebner7mo ago

286522cGabriel Ebner7mo ago

Top contributors

Builders behind this project.