3 items across the graph — tagged with Lean4.
LLMs as Copilots for Theorem Proving in Lean
LeanInteract: A Python Interface for Lean 4
verification toolchain for TypeScript (Tech Preview)
