A VCF normalizer in Bend 2 with a machine-checked proof that it follows its specification
C Updated 13 days ago 1 commits 1 stars
pulse-dev|Mirror: luiscleto/framebender (⭐1)
13 days agoAbout
A VCF normalizer in Bend 2 with a machine-checked proof that it follows its specification
Readme
1 stars