Skip to content

v2.7.30

Choose a tag to compare

@michael-emmi michael-emmi released this 20 Sep 16:43
5e27b2c
- make reason calculation for proof failure in prover interface more …