HHU Adam Project
ADAM is a project group at Heinrich-Heine-University Düsseldorf focusing on learning resources around the proof assistant Lean.
Pinned Loading
Repositories
Showing 10 of 17 repositories
- vscode-lean4 Public Forked from leanprover/vscode-lean4
Temporary modifications to vscode-lean4 for monaco-support
hhu-adam/vscode-lean4’s past year of commit activity - Robo Public
A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪
hhu-adam/Robo’s past year of commit activity - Logger Public
hhu-adam/Logger’s past year of commit activity - Reporter Public
hhu-adam/Reporter’s past year of commit activity - QEDSeminar2022-2023 Public
hhu-adam/QEDSeminar2022-2023’s past year of commit activity - hhu-adam.github.io Public
hhu-adam/hhu-adam.github.io’s past year of commit activity - monaco-lean4 Public archive Forked from leanprover/vscode-lean4
Temporary fork of the VSCode Lean4 extension to work with Monaco.
hhu-adam/monaco-lean4’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…