Show HN: LeanCIL – Prove properties of compiled .NET code in Lean 4 (github.com) 1 points by rescendent 11h ago ↗ HN
1 comment
[ 0.19 ms ] story [ 7.1 ms ] thread