Giters
Taro Naoi (tnaoi)

tnaoi

Geek Repo

14

followers

17

following

737

stars

Location:Los Angeles

Github PK Tool:Github PK Tool

Taro Naoi's repositories

tnaoi

Config files for my GitHub profile.

Stargazers:0Issues:1Issues:0

vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant

Language:TypeScriptLicense:Apache-2.0Stargazers:0Issues:0Issues:0