diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-03-04 10:58:58 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-04 10:58:58 +0000 |
| commit | a698c19127ee861c32e998b14b4ebc7e3a913fe0 (patch) | |
| tree | a40452b961ad7bc5ca53d582d15284b2bab36b38 /.gitignore | |
| parent | 3cf8e8cb09af06e5d782efff1a1a2466520fa32f (diff) | |
| download | biteq-a698c19127ee861c32e998b14b4ebc7e3a913fe0.tar.gz biteq-a698c19127ee861c32e998b14b4ebc7e3a913fe0.zip | |
Prove simple bounded add associativity
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -4,6 +4,8 @@ *.vo *.vos *.vok +*.aux +*.glob *.cache .direnv/ |