HKU PL Group
People
Courses
Seminars
Theses
Resources
Join Us!
An Introduction to Agentic Proving
Chen Cui
Wed, Apr 22 2026, 9:30 AM • CB308
Who is still handwriting proofs in Rocq in 2026?