coq-serapi

API

Library coq-serapi.serapi_v8_10

• Serapi_assumptions
• Serapi_goals
• Serapi_paths
• Serapi_pp This module includes all of sertop custom Format-based printers for Coq datatypes.
• Serapi_protocol The SerAPI Protocol

Library coq-serapi.serlib

• Serlib

Library coq-serapi.sertop_v8_10

• Ser_version
• Sercomp_stats
• Sertop_arg
• Sertop_init
• Sertop_loader
• Sertop_ser
• Sertop_sexp
• Sertop_util

Library serlib_extraction

• Ser_g_extraction

Library serlib_firstorder

• Ser_g_ground

Library serlib_funind

• Ser_g_indfun

Library serlib_ltac

• Ser_profile_ltac
• Ser_rewrite
• Ser_tacarg
• Ser_tacentries
• Ser_tacenv
• Ser_tacexpr

Library serlib_setoid_ring

• Ser_g_newring

Library serlib_ssr

• Ser_ssrast
• Ser_ssrequality
• Ser_ssrparser
• Wrap_ssrast

Library serlib_ssrmatching

• Ser_ssrmatching