Back to all repositories
AN
ancplua-lean-proof
by ANcpLua
Formally verify C#/.NET state machines with Lean 4 and turn proof counterexamples into reproduced, fixed bugs.
0stars0forks0watchers/subscribers
Available Plugins
Loading plugins...
Evaluate before installing
- Review the source repository, recent maintenance, and license on GitHub.
- Read the marketplace manifest and plugin source files before running commands.
- Start with the smallest required permission set and validate behavior in a safe environment.