diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-02-15 22:26:29 +0000 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-02-15 22:26:29 +0000 |
| commit | 5560f9398bd29e468488446be71f85648851a78b (patch) | |
| tree | cd87d5a99cfa85967388e7c690d4620b9ff8c7bd /src/common/IntegerExtra.v | |
| parent | 8b340f0120a074feffd736e288ffac673290152d (diff) | |
| download | vericert-5560f9398bd29e468488446be71f85648851a78b.tar.gz vericert-5560f9398bd29e468488446be71f85648851a78b.zip | |
Add PTree traversal functions for vericert monads
Diffstat (limited to 'src/common/IntegerExtra.v')
0 files changed, 0 insertions, 0 deletions