debuggingtools
audit-correctness-proof
Attempt formal correctness proofs for all public cache methods
maintainer
ben-manes
اپ ڈیٹ ہوا 3/22/2026
اسٹارز
17587
فورکس
1683
quick start
Installation and usage
Attempt formal correctness proofs for all public cache methods
انسٹالیشن
$ install --globalskills.sh
استعمال
انسٹال کرنے کے بعد، آپ یہ اسکل ٹرمینل میں درج ذیل کمانڈ چلا کر استعمال کر سکتے ہیں:
skills use audit-correctness-proof