Blog Single

{
  "by": "Poudlardo",
  "descendants": 81,
  "id": 47404796,
  "kids": [
    47407461,
    47405846,
    47406685,
    47405507,
    47405328,
    47407262,
    47406371,
    47406282,
    47406446,
    47408650,
    47405506,
    47405900,
    47405654,
    47406982,
    47407014,
    47406277,
    47405492,
    47406119,
    47408215,
    47407815,
    47405625,
    47406624,
    47406481,
    47408072,
    47405557,
    47407181,
    47406520,
    47407129,
    47406246,
    47405914,
    47405688,
    47405319
  ],
  "score": 388,
  "text": "Lean 4 paper (2021): <a href=\"https:&#x2F;&#x2F;dl.acm.org&#x2F;doi&#x2F;10.1007&#x2F;978-3-030-79876-5_37\" rel=\"nofollow\">https:&#x2F;&#x2F;dl.acm.org&#x2F;doi&#x2F;10.1007&#x2F;978-3-030-79876-5_37</a>",
  "time": 1773694780,
  "title": "Leanstral: Open-source agent for trustworthy coding and formal proof engineering",
  "type": "story",
  "url": "https://mistral.ai/news/leanstral"
}