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 16 repositories
- Robo Public
A game for learning Lean 4 where a cute little smart-elf joins you on your exploration of the Leaniverse.
- Reporter Public
- Logger Public
- vscode-lean4 Public Forked from leanprover/vscode-lean4
Temporary modifications to vscode-lean4 for monaco-support
- hhu-adam.github.io Public
- QEDSeminar2025 Public
- QEDSeminar2022-2023 Public
Top languages
Loading…
Most used topics
Loading…