LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Lean

ProofWidgets4

Helper toolkit for creating your own Lean 4 UserWidgets

LeanEmerging

Stars

—

Forks

—

Contributors

8

Last push

16mo ago

Recent commits

Latest commits.

silence successful build
bf1a80eKim Morrison25mo ago
unused variable
594bc96Kim Morrison25mo ago
Merge pull request #64 from leanprover-community/rm_info
541959bKim Morrison25mo ago
chore: comment out 'javascript up to date' info msg
afaa5d5Kim Morrison25mo ago
Merge pull request #63 from leanprover-community/log_json
4d7a960Kim Morrison25mo ago

revert change

f9feb0dKim Morrison25mo ago

chore: rm and ignore widget/package-lock.json.log.json

05468a4Kim Morrison25mo ago

Merge pull request #62 from leanprover-community/bump_to_v4.8.0

194ca96Kim Morrison25mo ago

Top contributors

Builders behind this project.