Towards Industrial-Scale Verification: LLM-Driven Theorem Proving on SeL4

(arxiv.org) by lr0 | Feb 19, 2026 | 0 comments on HN