@inproceedings{Mon2,
title = {Small inversions for smaller inversions },
author = {Monin, Jean-Fran\c{c}ois},
month = {June},
year = {2022},
booktitle = {TYPES 2022 Abstracts},
address = {Nantes},
team = {PACSS},
pdf = {https://www-verimag.imag.fr/~monin/Publis/Docs/types22-smallinv.pdf},
abstract = {We describe recent improvements on small inversions, a technique presented earlier as a possible alternative to Coq standard inversion},
}
