A program that verifies proofs in the F0 proof system
-
Updated
Dec 5, 2020 - Python
A program that verifies proofs in the F0 proof system
buinding a subtractive synth formants vowel (PT-Br)
Add a description, image, and links to the f0 topic page so that developers can more easily learn about it.
To associate your repository with the f0 topic, visit your repo's landing page and select "manage topics."