search

Orbis-Tertius / osl

Apache License 2.0
2 stars 2 forks source link

Add FRI verifier spec #18

Closed morganthomas closed 2 years ago

morganthomas commented 2 years ago

Done.