search

stakervali / grin-wishlist

Wishlist for grin features
0 stars 1 forks source link

Formal prover / integrity checker #13

Open stakervali opened 2 years ago

stakervali commented 2 years ago

Discussion is on this forum thread.