Article URL: https://github.com/NethermindEth/LeanCIL
Comments URL: https://news.ycombinator.com/item?id=50302042
Points: 1
# Comments: 0
Open Source
Show HN: LeanCIL – Prove properties of compiled .NET code in Lean 4
Hacker News Show0 views
Source：https://github.com/NethermindEth/LeanCIL
Related posts
A fresh wave of cyberattacks has hit Europe’s supermarket refrigerators, destroying food across countries
0TechCrunch
Onboarding Instrumentation: What to Actually Log Before You Redesign the Flow
0dev.to UX
Iceberg vs Parquet: do you need a table format?
0dev.to Data
Open Source Didn't Ban AI Code. 83% of Its AI Policies Allow It, With One Catch
0dev.to Git
Orbit: A High-Performance Terminal Workspace & System Monitor in Rust with WASM Plugins
0dev.to Rust
Forecasting the U.S. Senate with Prediction Markets and Monte Carlo Simulations
0dev.to AI