Hacker News new | ask | show | jobs
by ykonstant 974 days ago
The Lean 4 community is quite optimistic about combining LLMs and theorem provers for proof assistance and formalization.