@inproceedings{henaien:hal-00764909, TITLE = {{Performing Implicit Induction Reasoning with Certifying Proof Environments}}, AUTHOR = {Henaien, Amira and Stratulat, Sorin}, URL = {https://inria.hal.science/hal-00764909}, BOOKTITLE = {{SCSS'2012 - 4th International Symposium on Symbolic Computation in Software Science}}, ADDRESS = {Gammarth, Tunisia}, YEAR = {2012}, MONTH = Dec, PDF = {https://inria.hal.science/hal-00764909/file/document.pdf}, HAL_ID = {hal-00764909}, HAL_VERSION = {v1}, }