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 17 11

  2. GameSkeleton GameSkeleton Public template

    The standard template to create a lean game

    Lean 18 4

  3. lean-i18n lean-i18n Public

    i18n library for Lean.

    Lean 6

Repositories

Showing 10 of 15 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 17 Apache-2.0 11 20 1 Updated Oct 10, 2024
  • 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 48 0 2 Updated Sep 15, 2024
  • lean4monaco Public

    Browser support for Lean using a monaco editor.

    hhu-adam/lean4monaco’s past year of commit activity
    TypeScript 4 Apache-2.0 1 1 1 Updated Sep 15, 2024
  • lean-i18n Public

    i18n library for Lean.

    hhu-adam/lean-i18n’s past year of commit activity
    Lean 6 Apache-2.0 0 2 0 Updated Sep 12, 2024
  • lean4 Public Forked from leanprover/lean4

    Fork for contributing to lean4

    hhu-adam/lean4’s past year of commit activity
    Lean 0 Apache-2.0 424 0 0 Updated Sep 2, 2024
  • 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 48 0 1 Updated Jul 29, 2024
  • lean4web-tools Public archive

    Helper tool for projects run in lean4web

    hhu-adam/lean4web-tools’s past year of commit activity
    Lean 3 MIT 0 1 0 Updated Jul 26, 2024
  • QEDSeminar2024 Public archive
    hhu-adam/QEDSeminar2024’s past year of commit activity
    Lean 0 0 0 0 Updated Jul 23, 2024
  • GameSkeleton Public template

    The standard template to create a lean game

    hhu-adam/GameSkeleton’s past year of commit activity
    Lean 18 MIT 4 1 1 Updated Jul 15, 2024
  • hhu-adam.github.io Public
    hhu-adam/hhu-adam.github.io’s past year of commit activity
    CSS 0 1 0 0 Updated Mar 30, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…