Anonymous
6/11/2025, 11:26:44 PM
No.105564932
>>105564145
i think it depends on a system you want to verify, i am only learning about it but i am using lean4 quite a lot and sometimes its proof capabilites
with lean4 and its type system you can verify functions quite easily, but if you want to verify some other system i think that will be very complex
Also, the idea of a contract is part of verification, C# has contracts and Kotlin too, also Ada SPARK can be used to create verified software
i think it depends on a system you want to verify, i am only learning about it but i am using lean4 quite a lot and sometimes its proof capabilites
with lean4 and its type system you can verify functions quite easily, but if you want to verify some other system i think that will be very complex
Also, the idea of a contract is part of verification, C# has contracts and Kotlin too, also Ada SPARK can be used to create verified software