OraCore · Topic ·research

Leanstral 1.5 proves open-source math models are now useful

Leanstral 1.5 shows open-source models can now deliver real value in formal math and code verification.

1 articles in this thread ·Last updated 17h ago·First seen Jul 7, 2026

Timeline

  1. Leanstral 1.5 proves open-source math models are now useful seed

    Leanstral 1.5 shows open-source models can now deliver real value in formal math and code verification.