Does anyone now if something like this exist and is used (and actively maintained) for .NET/C#, not like Dafny where I write in another language (unlikely my company would allow that). Also as annotations (likely that I can start with it).
You might see if this nascent CLR backend to Rust can do what you need <a href="https://github.com/FractalFir/rustc_codegen_clr" rel="nofollow">https://github.com/FractalFir/rustc_codegen_clr
freethinky · · focus · HN ↗
genxy · · focus · HN ↗