Publié le 07/01/2020 |

The version 4.5.5 Maintenance edition has been released
It version fix a bug present since the first version of prover.
This bug is related to the instantiation of universally quantified hypothesis, the capture of free variables was not properly checked, which could lead to incorrect proofs under specific conditions.