https://lifeboat.com/blog/2024/04/lean-dojo-leancopilot-llms-as-copilots-for-theorem-proving-in-lean Safeguarding Humanity Mon, 22 Apr 2024 23:22:47 +0000 hourly 1 https://wordpress.org/?v=6.5.2