# content
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4 (via lr0) — discussion

#ai #math