Kike9715

Pinned Repositories

FStar
A Proof-oriented Programming Language
Language:F*00
vscode-open-symlink-source
vscode extension that open the according source of editing symlink file.
Language:TypeScript00

Kike9715's Repositories

Kike9715/FStar
A Proof-oriented Programming Language
Kike9715/vscode-open-symlink-source
vscode extension that open the according source of editing symlink file.