https://preview.hex.pm/preview/atp_client/show/LICENSE 2026-04-21T13:57:11Z daily 0.8 https://preview.hex.pm/preview/atp_client/show/README.md 2026-04-21T13:57:11Z daily 0.8 https://preview.hex.pm/preview/atp_client/show/lib/atp_client.ex 2026-04-21T13:57:11Z daily 0.8 https://preview.hex.pm/preview/atp_client/show/lib/atp_client/application.ex 2026-04-21T13:57:11Z daily 0.8 https://preview.hex.pm/preview/atp_client/show/lib/atp_client/config.ex 2026-04-21T13:57:11Z daily 0.8 https://preview.hex.pm/preview/atp_client/show/lib/atp_client/isabelle.ex 2026-04-21T13:57:11Z daily 0.8 https://preview.hex.pm/preview/atp_client/show/lib/atp_client/isabelle/session.ex 2026-04-21T13:57:11Z daily 0.8 https://preview.hex.pm/preview/atp_client/show/lib/atp_client/result_normalization.ex 2026-04-21T13:57:11Z daily 0.8 https://preview.hex.pm/preview/atp_client/show/lib/atp_client/star_exec.ex 2026-04-21T13:57:11Z daily 0.8 https://preview.hex.pm/preview/atp_client/show/lib/atp_client/star_exec/session.ex 2026-04-21T13:57:11Z daily 0.8 https://preview.hex.pm/preview/atp_client/show/lib/atp_client/system_on_tptp.ex 2026-04-21T13:57:11Z daily 0.8 https://preview.hex.pm/preview/atp_client/show/lib/atp_client/system_on_tptp/provers.ex 2026-04-21T13:57:11Z daily 0.8 https://preview.hex.pm/preview/atp_client/show/mix.exs 2026-04-21T13:57:11Z daily 0.8