Skip to content
@hhu-adam

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

  1. Robo 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 🇩🇪

    Lean 19 13

  2. GameSkeleton GameSkeleton Public template

    The standard template to create a lean game

    Shell 24 5

  3. lean-i18n lean-i18n Public

    i18n library for Lean.

    Lean 8

Repositories

Showing 10 of 17 repositories
  • 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
    Lean 19 Apache-2.0 13 15 0 Updated Apr 11, 2025
  • Reporter Public
    hhu-adam/Reporter’s past year of commit activity
    Python 0 0 0 0 Updated Apr 11, 2025
  • Logger Public
    hhu-adam/Logger’s past year of commit activity
    Python 0 0 0 0 Updated Apr 8, 2025
  • QEDSeminar2022-2023 Public
    hhu-adam/QEDSeminar2022-2023’s past year of commit activity
    Lean 0 0 0 0 Updated Mar 20, 2025
  • GameSkeleton Public template

    The standard template to create a lean game

    hhu-adam/GameSkeleton’s past year of commit activity
    Shell 24 MIT 5 1 0 Updated Mar 14, 2025
  • lean4monaco Public

    Browser support for Lean using a monaco editor.

    hhu-adam/lean4monaco’s past year of commit activity
    TypeScript 8 Apache-2.0 3 1 1 Updated Mar 11, 2025
  • 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
    TypeScript 0 Apache-2.0 62 0 3 Updated Mar 11, 2025
  • lean-i18n Public

    i18n library for Lean.

    hhu-adam/lean-i18n’s past year of commit activity
    Lean 8 Apache-2.0 0 3 0 Updated Mar 4, 2025
  • hhu-adam.github.io Public
    hhu-adam/hhu-adam.github.io’s past year of commit activity
    CSS 0 1 0 0 Updated Jan 7, 2025
  • 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
    TypeScript 0 Apache-2.0 62 0 1 Updated Jul 29, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…