Skip to content
@reaslab

ReasLab @ BICMR

Popular repositories Loading

  1. jixia jixia Public

    A static analysis tool for Lean 4.

    Lean 39

  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

Repositories

Showing 8 of 8 repositories
  • jixia Public

    A static analysis tool for Lean 4.

    reaslab/jixia’s past year of commit activity
    Lean 39 Apache-2.0 0 0 2 Updated Oct 16, 2024
  • metalib Public

    A collection of metaprogramming utilities.

    reaslab/metalib’s past year of commit activity
    Lean 0 Apache-2.0 0 0 0 Updated Oct 16, 2024
  • docker-leanprover Public
    reaslab/docker-leanprover’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Oct 16, 2024
  • 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 2,958 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 48 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 414 0 0 Updated Dec 23, 2023

Most used topics

Loading…