harmonic.fun Created 2025-07-26 Updated 2025-12-13
They seem to do autoformalization, automated theorem proving and code generation, and they use Lean a lot. Sounds fun.
Literal Labs Created 2025-06-12 Updated 2025-12-13
Rainbird Technologies Created 2025-06-12 Updated 2025-07-16
Symbolica Created 2025-06-12 Updated 2025-10-14