Repositories list

• LeanStateSearch

  Public
  TypeScript

  •22 forks•1919 stars•00 issues•00 pull requests•Updated Apr 5, 2025Apr 5, 2025

• Premise-Retrieval

  Public
  Python

  •33 forks•1919 stars•00 issues•00 pull requests•Updated Jan 20, 2025Jan 20, 2025

• lean4web

  Public
  The Lean 4 web editor

  TypeScript

  •

  Apache License 2.0

  •5151 forks•00 stars•00 issues•00 pull requests•Updated Dec 6, 2024Dec 6, 2024

• LeanDojo

  Public
  Tool for data extraction and interacting with Lean programmatically.

  Python

  •

  MIT License

  •117117 forks•00 stars•00 issues•00 pull requests•Updated Oct 13, 2024Oct 13, 2024

• zulip-archive

  Public
  Generate a static HTML archive of messages in any combination of streams in a Zulip organization.

  Python

  •

  MIT License

  •5151 forks•00 stars•00 issues•00 pull requests•Updated Jun 15, 2024Jun 15, 2024

• leanblueprint

  Public
  plasTeX plugin to build formalization blueprints.

  Python

  •

  Apache License 2.0

  •5959 forks•00 stars•00 issues•00 pull requests•Updated May 6, 2024May 6, 2024