SoftInstigate / restheart-website

restheart.org main website
https://restheart.org
5 stars 25 forks source link

small proofs plus possible fix for configuration #16

Closed m4sterbunny closed 4 years ago