[TYPES] [ANN] InvarGenT: GADTs-based invariant/postcondition generation

[Lukasz Stafiniak]

Hello,

I am pleased to release the first version of InvarGenT, a system that
performs full type inference for a type system with GADTs, and also
generates new GADTs to serve as existential types. In addition to algebraic
types, the first version handles linear arithmetic constraints.

https://github.com/lukstafi/invargent/releases/tag/v1.0

Regards,
Łukasz Stafiniak