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 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 20 13

  2. GameSkeleton Public template

    The standard template to create a lean game

    Shell 25 6

  3. lean-i18n Public

    i18n library for Lean.

    Lean 8

Repositories

Showing 10 of 17 repositories
  • Reporter Public
    Python 0 0 0 0 Updated Apr 18, 2025
  • 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 20 Apache-2.0 13 15 0 Updated Apr 11, 2025
  • Logger Public
    Python 0 0 0 0 Updated Apr 8, 2025
  • QEDSeminar2022-2023 Public
    Lean 0 0 0 0 Updated Mar 20, 2025
  • GameSkeleton Public template

    The standard template to create a lean game

    Shell 25 MIT 6 1 0 Updated Mar 14, 2025
  • lean4monaco Public

    Browser support for Lean using a monaco editor.

    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

    TypeScript 0 Apache-2.0 62 0 3 Updated Mar 11, 2025
  • lean-i18n Public

    i18n library for Lean.

    Lean 8 Apache-2.0 0 3 0 Updated Mar 4, 2025
  • hhu-adam.github.io Public
    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.

    TypeScript 0 Apache-2.0 62 0 1 Updated Jul 29, 2024
View all repositories

Most used topics

Loading…