Repositories list

• 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

  •12•18•15•1•Updated Jan 30, 2025Jan 30, 2025

• lean-i18n

  Public
  i18n library for Lean.

  i18nlean4

  Lean

  •

  Apache License 2.0

  •0•6•4•0•Updated Jan 26, 2025Jan 26, 2025

• GameSkeleton

  Public template
  The standard template to create a lean game

  lean4

  Lean

  •

  MIT License

  •5•22•1•1•Updated Jan 17, 2025Jan 17, 2025

• lean4monaco

  Public
  Browser support for Lean using a monaco editor.

  TypeScript

  •

  Apache License 2.0

  •2•4•0•1•Updated Jan 14, 2025Jan 14, 2025

• vscode-lean4

  Public
  Temporary modifications to vscode-lean4 for monaco-support

  TypeScript

  •

  Apache License 2.0

  •55•0•0•3•Updated Jan 13, 2025Jan 13, 2025

• hhu-adam.github.io

  Public
  CSS

  •1•0•0•0•Updated Jan 7, 2025Jan 7, 2025

• monaco-lean4

  Public archive
  Temporary fork of the VSCode Lean4 extension to work with Monaco.

  TypeScript

  •

  Apache License 2.0

  •55•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

• 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