Projects Contributor# LeanAide Autoformalization Tool written in Lean 4 formal-conjectures A collection of formalized statements of conjectures in Lean Personal - Lean 4# Lean-Scraper Scrape Lean and Mathlib to get all the constants and their information Go-Lean Go (囲碁) / Baduk (바둑) / Weiqi (圍棋) in Lean 4 lean-llm-client Lean 4 Client to make API calls to LLMs