LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

TypeScript

lean4game

Server to host lean games.

TypeScriptEmerging

Stars

—

Forks

—

Contributors

8

Last push

10mo ago

Recent commits

Latest commits.

Merge pull request #309 from leanprover-community/update_dependencies
020d863Matvey Lorkish16mo ago
Updated octokit to remove several moderate vulnerabilities.
de6c99dmatlorr16mo ago
Update or replace vulnerable dependencies and adjust import.mjs accordingly.
a5a26a6matlorr16mo ago
Merge pull request #285 from LeoDog896/auto-log
38c28faMatvey Lorkish16mo ago
Merge pull request #301 from leanprover-community/FIX/nothing_here
9ac22a8Matvey Lorkish16mo ago

Add error message if unpacking of artifact zip fails.

805549amatlorr16mo ago

Merge pull request #298 from leanprover-community/FIX/nothing_here

9b5b5e8Matvey Lorkish16mo ago

Fixed error in progress display and changed it to progress bar

4232889matlorr16mo ago

Top contributors

Builders behind this project.

TentativeConvert