AI.info

William Adkisson

Explore William Adkisson on AI.info.

• LeanDojo-v2: A Comprehensive Library for AI-Assisted Theorem Proving in Lean