Show HN: LeanCIL – Prove properties of compiled .NET code in Lean 4
Show HN: LeanCIL – Prove properties of compiled .NET code in Lean 4: open-source проект в категориях Misc. Практическое применение: нужна ручная оценка сценария
ПервоисточникShow HN: LeanCIL – Prove properties of compiled .NET code in Lean 4: open-source проект в категориях Misc. Практическое применение: нужна ручная оценка сценария
Первоисточник