issues/issue_0.v · master · Pierre-Marie Pédrot / itauto · GitLab

Mentions légales du service

Snippets Groups Projects

GitLab upgrade completed. Current version is 17.11.3.

Forked from BESSON Frederic / itauto

Source project has a limited visibility.

4 years ago
69f40fc2
Use 'tauto` to finish the proof. · 69f40fc2
BESSON Frederic authored 4 years ago
```
if `Ltac itauto_use_tauto ::= constr:(true).` (false by default)
```
69f40fc2

History
Use 'tauto` to finish the proof.
BESSON Frederic authored 4 years ago
```
if `Ltac itauto_use_tauto ::= constr:(true).` (false by default)
```