HHU Adam Project
ADAM is a project group at Heinrich-Heine-University Düsseldorf focusing on learning resources around the proof assistant Lean.
Germany
Pinned Repositories
cgbf2023
GameSkeleton
The standard template to create a lean game
LAG
Linear Algebra Game for Lean4
lean-i18n
i18n library for Lean.
lean4monaco
Browser support for Lean using a monaco editor.
lean4web-tools
Helper tool for projects run in lean4web
monaco-lean4
Temporary fork of the VSCode Lean4 extension to work with Monaco.
nng4-interface
Robo
A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪
vscode-lean4
Temporary modifications to vscode-lean4 for monaco-support
HHU Adam Project's Repositories
hhu-adam/GameSkeleton
The standard template to create a lean game
hhu-adam/Robo
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/lean-i18n
i18n library for Lean.
hhu-adam/lean4monaco
Browser support for Lean using a monaco editor.
hhu-adam/lean4web-tools
Helper tool for projects run in lean4web
hhu-adam/cgbf2023
hhu-adam/LAG
Linear Algebra Game for Lean4
hhu-adam/hhu-adam.github.io
hhu-adam/lean4
Fork for contributing to lean4
hhu-adam/lean4-game-server
hhu-adam/monaco-lean4
Temporary fork of the VSCode Lean4 extension to work with Monaco.
hhu-adam/nng4-interface
hhu-adam/vscode-lean4
Temporary modifications to vscode-lean4 for monaco-support
hhu-adam/i18n-demo
hhu-adam/QEDSeminar2024