LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

  • Markets
  • Builders
  • Research
  • Ecosystems
  • Launchpads
  • Search
Ecosystems

Other

lean-workflows

Reusable GitHub Actions workflows for Lean 4 packages

OtherEmerging
GitHub
Stars
—
Forks
—
Contributors
1
Last push
1mo ago

Recent commits

Latest commits.

  • ​
    9f1456fpoteat1mo ago
  • ​
    091c8a8poteat1mo ago
  • ​
    3f0a0bfpoteat2mo ago
  • ​
    466e3a4poteat2mo ago
  • ​
    ded7fc3poteat2mo ago
  • ​
af5e5c1
poteat
2mo ago
  • ​
    00dbbedpoteat2mo ago
  • ​
    507f9c6poteat2mo ago

    • Top contributors

    Builders behind this project.

    poteat
    10 commits