package Ġarrow . meta . plugins . pro ofs . ph ases . resolve . cache Ċ Ċ import Ġarrow . meta . plugins . pro ofs . ph ases . Proof Ċ Ċ data Ġclass ĠPro ofs Cache ( ĊĠ Ġval Ġpro ofs : ĠList < Proof > Ċ ) Ċ