https://hexdocs.pm/atp_client/404.html 2026-04-26T08:27:12Z daily 0.8 https://hexdocs.pm/atp_client/AtpClient.Config.html 2026-04-26T08:27:12Z daily 0.8 https://hexdocs.pm/atp_client/AtpClient.Isabelle.Session.html 2026-04-26T08:27:12Z daily 0.8 https://hexdocs.pm/atp_client/AtpClient.Isabelle.html 2026-04-26T08:27:12Z daily 0.8 https://hexdocs.pm/atp_client/AtpClient.Lint.Diagnostic.html 2026-04-26T08:27:12Z daily 0.8 https://hexdocs.pm/atp_client/AtpClient.Lint.Local.html 2026-04-26T08:27:12Z daily 0.8 https://hexdocs.pm/atp_client/AtpClient.Lint.Report.html 2026-04-26T08:27:12Z daily 0.8 https://hexdocs.pm/atp_client/AtpClient.Lint.Symbol.html 2026-04-26T08:27:12Z daily 0.8 https://hexdocs.pm/atp_client/AtpClient.Lint.Tptp4x.html 2026-04-26T08:27:12Z daily 0.8 https://hexdocs.pm/atp_client/AtpClient.Lint.html 2026-04-26T08:27:12Z daily 0.8 https://hexdocs.pm/atp_client/AtpClient.ResultNormalization.html 2026-04-26T08:27:12Z daily 0.8 https://hexdocs.pm/atp_client/AtpClient.StarExec.Session.html 2026-04-26T08:27:12Z daily 0.8 https://hexdocs.pm/atp_client/AtpClient.StarExec.html 2026-04-26T08:27:12Z daily 0.8 https://hexdocs.pm/atp_client/AtpClient.SystemOnTptp.Provers.html 2026-04-26T08:27:12Z daily 0.8 https://hexdocs.pm/atp_client/AtpClient.SystemOnTptp.html 2026-04-26T08:27:12Z daily 0.8 https://hexdocs.pm/atp_client/AtpClient.html 2026-04-26T08:27:12Z daily 0.8 https://hexdocs.pm/atp_client/api-reference.html 2026-04-26T08:27:12Z daily 0.8 https://hexdocs.pm/atp_client/demo.html 2026-04-26T08:27:12Z daily 0.8 https://hexdocs.pm/atp_client/index.html 2026-04-26T08:27:12Z daily 0.8 https://hexdocs.pm/atp_client/readme.html 2026-04-26T08:27:12Z daily 0.8 https://hexdocs.pm/atp_client/search.html 2026-04-26T08:27:12Z daily 0.8