To help understand bodies, researchers and other healthcare experts classify bodies into three main types: ectomorph (long and lean), mesomorph (more muscular), and endomorph (more curves and ...

Lean Copilot allows large language models (LLMs) to be used in Lean for proof automation, e.g., suggesting tactics/premises and searching for proofs. You can use our built-in models from LeanDojo or ...