Documentation

Foundation.FirstOrder.Completeness.Coding

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.