siraben/coq-wigderson

Issues

• Replace tactics with sauto when possible

  #2 opened 3 years ago by siraben
  2

• Swap order of arguments for degree function

  #4 opened 3 years ago by siraben
  0

• Robust algorithm for 2-colorability

  #5 opened 3 years ago by siraben
  0

• Make comments coqdoc style

  #3 opened 3 years ago by siraben
  0