GitHub repository: CertifiedStag/stag_lean
Primary language: Lua
Created: 2024-06-03T23:18:19Z
Description: A Simple Lean Creation Script