ReasLab @ BICMR
Pinned Loading
Repositories
Showing 8 of 8 repositories
- LeanSearch Public
reaslab/LeanSearch’s past year of commit activity - reaslab-ide-issues Public
reaslab/reaslab-ide-issues’s past year of commit activity - docker-leanprover Public
reaslab/docker-leanprover’s past year of commit activity - blueprint-template Public template
reaslab/blueprint-template’s past year of commit activity - 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 - 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
Top languages
Loading…
Most used topics
Loading…