Pinned Repositories
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.
blueprint-template
docker-leanprover
lean4
Lean 4 programming language and theorem prover
lean4-infoview
LeanSearch
vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
ReasLab @ BICMR's Repositories
reaslab/lean4-infoview
reaslab/LeanSearch
reaslab/blueprint-template
reaslab/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/docker-leanprover
reaslab/lean4
Lean 4 programming language and theorem prover
reaslab/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant