LeanPort – Bring Lean 4 proven modules into your Go projects

LeanPort brings proven Lean 4 modules into Go projects, speeding up development and improving code reliability. Start by running `go get`, import the modules, a