Popular repositories Loading

1. Premise-Retrieval Premise-Retrieval Public

   Python 14 3

2. LeanStateSearch LeanStateSearch Public

   TypeScript 13 1

3. leanblueprint leanblueprint Public

   Forked from PatrickMassot/leanblueprint

   plasTeX plugin to build formalization blueprints.

   Python

4. lean4web lean4web Public

   Forked from leanprover-community/lean4web

   The Lean 4 web editor

   TypeScript

5. zulip-archive zulip-archive Public

   Forked from eric-wieser/zulip-archive

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

   Python

6. LeanDojo LeanDojo Public

   Forked from lean-dojo/LeanDojo

   Tool for data extraction and interacting with Lean programmatically.

   Python