Zulip Chat Archive
Stream: ItaLean 2025
Topic: Projects: Formal Conjectures
Lorenzo Luccioli (Dec 09 2025 at 16:45):
This thread is dedicated to the Formal Conjectures project:
- Repository: https://github.com/google-deepmind/formal-conjectures
- Formal Manager: @Moritz Firsching
Last updated: Dec 20 2025 at 21:32 UTC