diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-04-15 17:29:13 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-04-15 17:29:21 +0100 |
| commit | 16967f7623ed9292f14cd7c512f40d3cca89f475 (patch) | |
| tree | 193708bc86f799512e68b757060357effcd475ac /src/common/Coquplib.v | |
| parent | 540bb4bf897ea632417c6452bb0c811d3a7d4dbd (diff) | |
| download | vericert-16967f7623ed9292f14cd7c512f40d3cca89f475.tar.gz vericert-16967f7623ed9292f14cd7c512f40d3cca89f475.zip | |
Make proofs simpler using auto
This makes changes to theorems easier, as the proofs will likely not
have to be fixed. The runtime is also not much slower.
Diffstat (limited to 'src/common/Coquplib.v')
0 files changed, 0 insertions, 0 deletions