LARA

  • Homework analysis
  • Herbrand universe
  • Resolution proofs