Hacker News new | ask | show | jobs
by AntonioCao 1189 days ago
Wow. Can't wait for the lean theorem prover integration.
1 comments
jsmorph 1189 days ago
Same. Maybe a GPT-driven super-tactic.
link