skills

Listed

Skills for AIs using the Lean programming language and theorem prover — proofs, toolchain setup, bisection, and more

plugin 50 stars 1 forks Updated 3 months ago Apache-2.0

Install

Plugins install via a marketplace, in two steps.

Step 1

Step 2

Quality Score: 53/100

Stars 20%

57

Recency 20%

50

Manifest 20%

0

Documentation 15%

0

Issue Health 10%

80

License 10%

100

Description 5%

100

Details

Author: leanprover
Repository: leanprover/skills
Created: 3 months ago
Last Updated: 3 months ago
Language: Shell
License: Apache-2.0

Listed in marketplaces