1
Published Tools
0
Total Stars
0
Weekly Downloads
113
GitHub Followers
67
Public Repos
Published Tools
1 Skillacross 1 category@leanprover/infoview
vtec234
An interactive display for the Lean 4 theorem prover.
SkillAI Tool
1 dir
1
Published Tools
0
Total Stars
0
Weekly Downloads
113
GitHub Followers
67
Public Repos
vtec234
An interactive display for the Lean 4 theorem prover.