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
Language:Lean2 5 00
GameSkeleton
The standard template to create a lean game
Language:Lean18 5 03
hhu-adam.github.io
Language:CSS0 3 01
lean-i18n
i18n library for Lean.
Language:Lean6 6 60
lean4
Fork for contributing to lean4
Language:Lean0 1 00
lean4-game-server
Language:Lean0 1 00
lean4web-tools
Helper tool for projects run in lean4web
Language:Lean3 5 10
monaco-lean4
Temporary fork of the VSCode Lean4 extension to work with Monaco.
Language:TypeScript0 0 00
nng4-interface
Language:JavaScript0 1 00
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 🇩🇪
Language:Lean16 6 4610

HHU Adam Project's Repositories

hhu-adam/GameSkeleton
The standard template to create a lean game
Language:Lean18 5 03
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 🇩🇪
Language:Lean16 6 4610
hhu-adam/lean-i18n
i18n library for Lean.
Language:Lean6 6 60
hhu-adam/lean4web-tools
Helper tool for projects run in lean4web
Language:Lean3 5 10
hhu-adam/cgbf2023
Language:Lean2 5 00
hhu-adam/LAG
Linear Algebra Game for Lean4
Language:Lean2 5 0
hhu-adam/hhu-adam.github.io
Language:CSS0 3 01
hhu-adam/lean4
Fork for contributing to lean4
Language:Lean0 1 00
hhu-adam/lean4-game-server
Language:Lean0 1 00
hhu-adam/monaco-lean4
Temporary fork of the VSCode Lean4 extension to work with Monaco.
Language:TypeScript0 0 00
hhu-adam/nng4-interface
Language:JavaScript0 1 00
hhu-adam/i18n-demo
Language:Lean5 0
hhu-adam/QEDSeminar2024
Language:Lean4 0