Allow for Reasoning Model Responses#174

DXCanas wants to merge 1 commit into

LeanBitLab:mainLeanBitLab/LeanType:mainfrom

DXCanas:allow-reasoning-modelsDXCanas/LeanType:allow-reasoning-modelsCopy head branch name to clipboard