LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Other

lean4game

Server to host lean games.

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

6mo ago

Recent commits

Latest commits.

add real-analysis-game
1eec1ebJon Eugster6mo ago
Fix/feat: do not show values of assumptions; add new game (#413)
8bcd4e7Jon Eugster7mo ago
feat: word wrap instead of horizontal scrolling for the input editor (#409)
6473b1cSnirBroshi8mo ago
fix: run workflow on PRs
9c85274Jon Eugster8mo ago
feat: shift semantic tokens (#408)
c250db3Alexander Bentkamp8mo ago

Update translate.md

97e1512TentativeConvert8mo ago

7d4c13cJon Eugster9mo ago

feat: setup for game specific settings; setting to unbundle hypothesis (#399)

407b1d3Jon Eugster9mo ago

Top contributors

Builders behind this project.

TentativeConvert