Verify Map properties
Addresses #124 (closed)
- Completes all admitted lemmas in
Map.v - Fixes proofs where extra assumptions are needed
- Adds axioms
generic_Path_encoding_Validandcompare_to_Path_encoding_S_Valid
Edited by Evan Marzion
Addresses #124 (closed)
Map.v
generic_Path_encoding_Valid and compare_to_Path_encoding_S_Valid