hyperpolymath/proven

main

proven

Grade	Name	Complexity	Churn	Issues
A	bindings\objective-c\src\PVNSafeUrl.h	0	1	-
A	bindings\objective-c\src\PVNSafeString.h	0	1	-
A	bindings\objective-c\src\PVNSafePath.h	0	1	-
A	bindings\objective-c\src\PVNSafeNetwork.h	0	1	-
A	bindings\objective-c\src\PVNSafeMath.h	0	1	-
A	bindings\objective-c\src\PVNSafeJson.h	0	1	-
A	bindings\objective-c\src\PVNSafeEmail.h	0	1	-
A	bindings\objective-c\src\PVNSafeCrypto.h	0	1	-
A	bindings\objective-c\src\PVNLibProven.h	0	1	-
A	bindings\mustache\helpers\proven-helpers.rb	11	1	-
A	bindings\mustache\helpers\proven-helpers.js	5	1	-
A	bindings\matlab\proven_header.h	0	1	-
A	bindings\lean4\ffi_shim.c	33	1	-
A	bindings\kql\proven_plugin.cs	28	1	-
A	bindings\kotlin\src\main\kotlin\io\github\hyperpolymath\proven\ProvenLibrary.kt	0	1	-
A	bindings\kotlin\src\main\kotlin\io\github\hyperpolymath\proven\Proven.kt	52	1	-
A	bindings\kotlin\settings.gradle.kts		1	-
A	bindings\kotlin\build.gradle.kts		1	-
A	bindings\koka\koka.yaml		1	-
A	bindings\javascript\src\safe_version.js	1	1	-