diff options
author | 2017-02-11 21:59:58 -0500 | |
---|---|---|
committer | 2017-03-02 13:37:14 -0500 | |
commit | e8fab6b839e19da231333ca8173bbb2a3d8a4033 (patch) | |
tree | b8128c428ed4b4e58211071b207859ec37999db1 /src/Spec/ModularArithmetic.v | |
parent | c56ca7b46711128f9287b5105a5b457ca09d4723 (diff) |
split the algebra library; use fsatz more
Diffstat (limited to 'src/Spec/ModularArithmetic.v')
0 files changed, 0 insertions, 0 deletions