hgoldstein95/palamedes-lean GitHub repository with 5 stars and 1 forks. Language: Lean Open provider repository