LeanScreen: Lean Verification

(millenniumresearch.ai)

30 points | by Hdjlaf 9 hours ago ago

6 comments

  • 9 hours ago ago
    [deleted]
  • sdfjsfd 9 hours ago ago

    When Will you release paid version and is pay as you go or how much

  • sdfjsfd 9 hours ago ago

    When are we getting to see the math research

  • sjnknsnf 9 hours ago ago

    What are your backgrounds

  • theChris-in 9 hours ago ago

    [flagged]

  • 9 hours ago ago
    [deleted]