[{"data":1,"prerenderedAt":4},["ShallowReactive",2],{"TI8TXUb1IG":3},"# llm\nInterfacing with Large Language Models (remote and local) from Lean.\n",1790367528190]