GitHub - leanprover/lean3: Lean Theorem Prover

Home Original page

GitHub - leanprover/lean3: Lean Theorem Prover

Skip to content

Navigation Menu

Appearance settings

View all features
Pricing

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

This repository was archived by the owner on Oct 14, 2023. It is now read-only.

Notifications You must be signed in to change notification settings
Fork 225
Star 2.2k