Branches

• add_fof_to_iprover

  0482f84d · Clean and refactor clausification and parsing code · Nov 22, 2022
• readme-to-markdown

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

  869b42d9 · conj_dist: fix · Jan 24, 2023
• 2022_sockets

  4e663aa0 · README-interactive.md: updates · Jan 29, 2023
• master default protected

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

  50d4de7f · output all proof graphs · Feb 11, 2023