Closed mhubii closed 4 months ago
Add FRI 1.16.
Related to https://github.com/lbr-stack/fri/pull/18, @BoWangFromMars
May I please ask you to target your PR against https://github.com/lbr-stack/fri/tree/fri-1.16 branch
done in #18
Add FRI 1.16.
Related to https://github.com/lbr-stack/fri/pull/18, @BoWangFromMars
May I please ask you to target your PR against https://github.com/lbr-stack/fri/tree/fri-1.16 branch