Skip to content

@hhu-adam HHU Adam Project

Change the repository type filter

All

    Repositories list

    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 🇩🇪
      lean4
      Lean
      •
      Apache License 2.0
      •11•17•20•1•Updated Oct 10, 2024Oct 10, 2024

    • vscode-lean4

      Public
      Temporary modifications to vscode-lean4 for monaco-support
      TypeScript
      •
      Apache License 2.0
      •48•0•0•2•Updated Sep 15, 2024Sep 15, 2024

    • lean4monaco

      Public
      Browser support for Lean using a monaco editor.
      TypeScript
      •
      Apache License 2.0
      •1•4•1•1•Updated Sep 15, 2024Sep 15, 2024

    • lean-i18n

      Public
      i18n library for Lean.
      i18nlean4
      Lean
      •
      Apache License 2.0
      •0•6•2•0•Updated Sep 12, 2024Sep 12, 2024

    • lean4

      Public
      Fork for contributing to lean4
      Lean
      •
      Apache License 2.0
      •418•0•0•0•Updated Sep 2, 2024Sep 2, 2024

    • monaco-lean4

      Public archive
      Temporary fork of the VSCode Lean4 extension to work with Monaco.
      TypeScript
      •
      Apache License 2.0
      •48•0•0•1•Updated Jul 29, 2024Jul 29, 2024

    • lean4web-tools

      Public archive
      Helper tool for projects run in lean4web
      lean4
      Lean
      •
      MIT License
      •0•3•1•0•Updated Jul 26, 2024Jul 26, 2024

    • QEDSeminar2024

      Public archive
      Lean
      •0•0•0•0•Updated Jul 23, 2024Jul 23, 2024

    • GameSkeleton

      Public template
      The standard template to create a lean game
      lean4
      Lean
      •
      MIT License
      •4•18•1•1•Updated Jul 15, 2024Jul 15, 2024

    • hhu-adam.github.io

      Public
      CSS
      •1•0•0•0•Updated Mar 30, 2024Mar 30, 2024

    • i18n-demo

      Public
      Lean
      •0•0•0•0•Updated Mar 1, 2024Mar 1, 2024

    • cgbf2023

      Public
      Lean
      •0•2•0•0•Updated Jan 23, 2024Jan 23, 2024

    • LAG

      Public
      Linear Algebra Game for Lean4
      Lean
      •0•2•0•0•Updated Oct 16, 2023Oct 16, 2023

    • lean4-game-server

      Public archive
      Lean
      •2•0•0•0•Updated Oct 14, 2022Oct 14, 2022

    • nng4-interface

      Public archive
      JavaScript
      •1•0•0•0•Updated Oct 13, 2022Oct 13, 2022