• 2022 年 11 月 19 日
• 筆記

dafny是一种可验证的编程语言，由微软推出，现已经开源。 dafny能够自我验证，可以在VS Code中进行开发，在编 …