Popular repositories Loading

1. jixia jixia Public

   A static analysis tool for Lean 4.

   Lean 38

2. blueprint-template blueprint-template Public template

   TeX 1

3. LeanSearch LeanSearch Public

   1

4. vscode-lean4 vscode-lean4 Public

   Forked from leanprover/vscode-lean4

   Visual Studio Code extension for the Lean 4 proof assistant

   TypeScript

5. lean4 lean4 Public

   Forked from leanprover/lean4

   Lean 4 programming language and theorem prover

   Lean

6. AFFiNE AFFiNE Public

   Forked from toeverything/AFFiNE

   There can be more than Notion and Miro. AFFiNE(pronounced [ə‘fain]) is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable an…

   TypeScript