Zulip Chat Archive
Stream: Geographic locality
Topic: Belo Horizonte, Brazil
Bernardo Borges (Feb 20 2024 at 00:41):
Hello everyone! Undergrad from UFMG here! I am working on Tactic and Metaprogramming to provide Lean tactics that discharge goals into SMT solvers! Happy to join the community!
Adolfo Neto (Jun 02 2024 at 18:13):
Last updated: May 02 2025 at 03:31 UTC