https://github.com/mit-plv/fiat-crypto
Revision 0df26cdadb533c71f8af9dcfd6e2acab4f89514b authored by jadep on 05 February 2019, 18:17:38 UTC, committed by jadep on 05 February 2019, 18:17:38 UTC
1 parent 6ec03e9
History
Tip revision: 0df26cdadb533c71f8af9dcfd6e2acab4f89514b authored by jadep on 05 February 2019, 18:17:38 UTC
change q_nbits to nat, make helper for mapping on matrices
Tip revision: 0df26cd

back to top