Need help with advanced AI agent engineering?Contact FirmAdapt

Lean

Lean

Organization

@leanprover

Lean Prover

lean-lang.org/@leanprover On GitHub since April 2014

1

Published Tools

264

Total Stars

0

Weekly Downloads

1,088

GitHub Followers

85

Public Repos

Published Tools

1 Skillacross 1 category

@leanprover/infoview

vtec234

An interactive display for the Lean 4 theorem prover.

SkillAI Tool

2641 dir