HHU Adam Project

HHU Adam Project's repositories

The standard template to create a lean game

Language:LeanMIT18 50

A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪

Language:LeanApache-2.016 6 46

i18n library for Lean.

Language:LeanApache-2.06 6 6

Browser support for Lean using a monaco editor.

Language:TypeScriptApache-2.0400

Helper tool for projects run in lean4web

Language:LeanMIT3 5 1

Language:Lean2 50

Linear Algebra Game for Lean4

Language:Lean2 50

Language:CSS030

Fork for contributing to lean4

Language:LeanApache-2.0010

Language:Lean010

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

Language:TypeScriptApache-2.0000

Language:JavaScript010

Temporary modifications to vscode-lean4 for monaco-support

Language:TypeScriptApache-2.0000

Language:Lean050

Language:Lean040