4 ms·
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 co
by freethinky 17d ago
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).
- genxy 17d agoYou might see if this nascent CLR backend to Rust can do what you need https://github.com/FractalFir/rustc_codegen_clr https://github.com/FractalFir/rustc_codegen_clr