search

w3f / apk-proofs

Apache License 2.0
56 stars 19 forks source link

Cleaner #20

Closed swasilyev closed 3 years ago

swasilyev commented 3 years ago

Provers look much better now