brainstate

discover · compare · collections · requirements · contribute · feed · watching · stats · help with your tokens

leanprover/lean4

Lean 4 programming language and theorem prover

Lean★ 9.9kApache-2.0GitHub ↗

History and source changes · Reports and owner responses · Compare

Similar

  1. lenianiva/Prismriver

    (Mirror) A Music formalization library and DSL in Lean 4

    Lean★ 28Apache-2.0GitHub ↗

    Why this match

    topics lean, lean4

  2. kenzok8/openwrt_Build

    一键多编译固件

    Shell★ 964MITGitHub ↗

    Why this match

    topics lean; language differs: Lean → Shell; license differs: Apache-2.0 → MIT

  3. Leantime/leantime

    Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.

    PHP★ 12.0kAGPL-3.0GitHub ↗

    Why this match

    topics lean; language differs: Lean → PHP; license differs: Apache-2.0 → AGPL-3.0