Login / Signup

A Coq Tactic for Equality Learning in Linear Arithmetic.

Sylvain BoulméAlexandre Maréchal
Published in: ITP (2018)
Keyphrases