Author

Lean FRO, LLC

1

Marketplaces

1

Plugins

0

Skills

0

Agents

0

Commands

Marketplaces

Marketplace

leanprover

leanprover

Plugins:1

Skills:0

19

0

Plugins

Plugin

lean

Skills for developing with Lean 4