| commit | f448f491adbe233c45649fe53d2f91b741870d6a | |
| author | MARCHE Claude <claude.marche@inria.fr> | |
| Thu, 14 Nov 2024 19:03:57 +0000 (14 20:03 +0100) | ||
| committer | MARCHE Claude <claude.marche@inria.fr> | |
| Thu, 14 Nov 2024 19:03:57 +0000 (14 20:03 +0100) | ||
| tree | 136b1edfef03b0f0635c913dbf1fd61ed853ad09 | treesnapshot (tar.gz zip) |
| parent | 2610486871da84d194d261539d8a09f4a6e8d14f | commitdiff |
| parent | 2e1d53f51b4e4b8389e54962640e69638577773f | commitdiff |
Merge branch 'extensional' into 'master'
Add a transformation "extensionality" to help with proofs of equality.
See merge request why3/why3!1171
Add a transformation "extensionality" to help with proofs of equality.
See merge request why3/why3!1171