diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-06-14 00:27:31 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-06-14 00:27:31 -0400 |
| commit | b9581c7bd814d7ca7663438d4a5d92ae9fab0ce6 (patch) | |
| tree | 696b9242a8ac5091eda4be78cb67689fecf60e56 /_CoqProject | |
| parent | 4ec00e8ee78c1c7fa1f94d429b3b113bcf698e5b (diff) | |
refactor nsatz wrappers into algebra file
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions