EngineeringSoftware/mcoq

Issues

• Additional mutation operators

  #4 opened 4 years ago by palmskog
  0

• Document mutation operators

  #3 opened 4 years ago by palmskog
  0

• Java version is not detected correctly on macOS

  #1 opened 4 years ago by anton-trunov
  7

• Support for Coq 8.11

  #2 opened 4 years ago by anton-trunov
  2