frml

PyPI page
Author: Greg Wilson
Summary: A minimal contract-based verification language backed by Z3
Latest version: 0.3.0
Required dependencies: z3-solver

Downloads last day: 0
Downloads last week: 12
Downloads last month: 378
7-day smoothing