Documentation

Foundation.FirstOrder.Completeness.Coding

Instances For
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      instance LO.FirstOrder.System.instEncodableCodeOfDecidableEqOfFuncOfRel {L : Language} [(k : ) → DecidableEq (L.Func k)] [(k : ) → DecidableEq (L.Rel k)] [(k : ) → Encodable (L.Func k)] [(k : ) → Encodable (L.Rel k)] :
      Equations
      • One or more equations did not get rendered due to their size.