Please don't use raw strings as much as possible. Create a constant in Language.Fixpoint.Names and use that variable instead.
Please don't use raw strings as much as possible. Create a constant in Language.Fixpoint.Names and use that variable instead.

rolph-recto/liquid-fixpoint,ucsd-progsys/liquid-fixpoint