Installation
About
The purpose of this package is to generate trees and validate unverified code. Trees are made by parsing a statement into a verification tree data structure. This will make it easy to port the statement into another language. Safe statement evaluations are done by executing the verification trees.
Key Metrics
Downloads
| Last 24 hours | 0 -100% |
| Last 7 days | 34 -6% |
| Last 30 days | 171 -8% |
| Last 90 days | 493 +10% |
| Last 365 days | 2.074 +159% |