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_Valid
andcompare_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