🎩 You're Invited:Meet the Socket team at Black Hat in Las Vegas, August 3-6.RSVP
Sign In

lemmafit

Package Overview
Dependencies
Maintainers
3
Versions
12
Alerts
File Explorer

Advanced tools

Socket logo

Install Socket

Detect and block malicious and high-risk dependencies

Install

lemmafit - npm Package Compare versions

Comparing version
0.3.4
to
0.3.5
+4
-1
package.json

@@ -13,2 +13,5 @@ {

"formal verification",
"verification",
"formal-verification",
"verified",
"claude",

@@ -19,3 +22,3 @@ "dafny",

],
"version": "0.3.4",
"version": "0.3.5",
"type": "commonjs",

@@ -22,0 +25,0 @@ "files": [