A bundle providing formal proof skills for token-based parameter handling.
This plugin has not published an npm package, so the store does not offer an install command yet. Use the repository link below to view the source.
View the source on GitHub