Skip to content
@reaslab

ReasLab @ BICMR

Popular repositories Loading

  1. blueprint-template blueprint-template Public template

    TeX 1

  2. LeanSearch LeanSearch Public

    1

  3. vscode-lean4 vscode-lean4 Public

    Forked from leanprover/vscode-lean4

    Visual Studio Code extension for the Lean 4 proof assistant

    TypeScript

  4. lean4 lean4 Public

    Forked from leanprover/lean4

    Lean 4 programming language and theorem prover

    Lean

  5. 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

  6. docker-leanprover docker-leanprover Public

    JavaScript

Repositories

Showing 7 of 7 repositories
  • docker-leanprover Public
    reaslab/docker-leanprover’s past year of commit activity
    JavaScript 0 MIT 0 0 0 Updated Jan 31, 2025
  • lean4-infoview Public Forked from leanprover/vscode-lean4
    reaslab/lean4-infoview’s past year of commit activity
    TypeScript 0 Apache-2.0 53 0 1 Updated Jan 13, 2025
  • LeanSearch Public
    reaslab/LeanSearch’s past year of commit activity
    1 MIT 0 0 0 Updated Sep 21, 2024
  • blueprint-template Public template
    reaslab/blueprint-template’s past year of commit activity
    TeX 1 0 0 0 Updated Aug 22, 2024
  • 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 and ready to use.

    reaslab/AFFiNE’s past year of commit activity
    TypeScript 0 3,244 0 0 Updated May 6, 2024
  • vscode-lean4 Public Forked from leanprover/vscode-lean4

    Visual Studio Code extension for the Lean 4 proof assistant

    reaslab/vscode-lean4’s past year of commit activity
    TypeScript 0 Apache-2.0 53 0 0 Updated Feb 23, 2024
  • lean4 Public Forked from leanprover/lean4

    Lean 4 programming language and theorem prover

    reaslab/lean4’s past year of commit activity
    Lean 0 Apache-2.0 463 0 0 Updated Dec 23, 2023

Top languages

Loading…

Most used topics

Loading…