Branches

• hintlists

  50d4de7f · output all proof graphs · Feb 11, 2023
• master default protected

  885cd898 · README.md update · Jan 30, 2023
• 2022_sockets

  4e663aa0 · README-interactive.md: updates · Jan 29, 2023
• 2023_01_dbg

  869b42d9 · conj_dist: fix · Jan 24, 2023
• readme-to-markdown

  44bf1135 · reformatted readme.interactive · Jan 03, 2023
• add_fof_to_iprover

  0482f84d · Clean and refactor clausification and parsing code · Nov 22, 2022
• 2021_Nov_Bio

  c509c08a · minor · Nov 06, 2022
• 2022_10_03_merge

  ef974795 · merge · Nov 04, 2022
• andrepd/lemma-learning

  4f8ae35f · Statistics · Oct 11, 2022
• 2022_07_CASC

  69e28342 · fix: arity cmp when Undef · Jul 26, 2022
• andrepd/ac-norm-demod

  888ff719 · Cleanup and make type-safe the code for handling symbol fast keys (and... · May 04, 2022
• revert-294c73c1

  cb320720 · Revert "Merge branch 'configuration' into 'master'" · Jan 11, 2022
• master-tmp1

  9274fe85 · help update · Dec 03, 2021
• andrepd/smt-interface-noeqpred-2021-06-18-kk-smt

  40c7dcff · iproveropt-tptp-multi-core.sh: help fix · Jul 17, 2021
• andrepd/ac-norm-demod-kk-2021-06-10-smt-z3

  c4bbc251 · rm warnings unsupported symbols · Jun 16, 2021
• andrepd/ac-norm-demod-kk-2021-05-29-smt

  267f98d4 · symbol.ml:sproperty added: Num_real| Num_int| Num_rat · Jun 06, 2021
• andrepd/ac-norm-demod-kk-2020-04-28-opts

  0615f5f5 · merge · May 23, 2021
• master-tomerge

  be868efd · Sync branches wrt. minor formatting and other stuff · Apr 11, 2021
• andrepd/smt-interface-noeqpred

  3a1b5426 · Merge remote-tracking branch 'origin/master' into andrepd/smt-interface-noeqpred · Apr 11, 2021
• andrepd/smt-interface-noeqpred-2021-01-11-shared-cl

  6d9501fd · Merge branch 'andrepd/smt-interface-noeqpred' into... · Feb 14, 2021