tchajed/coq-sep-logic

Issues

• Cancel does not solve a straightforward goal

  #4 opened 5 years ago by pseudohuman92
  0

• Can you add logical operations for predicates?

  #2 opened 5 years ago by Atalay-Ileri
  3

• 'norm_hyp' does not normalize hypotheses with 'exists!'

  #3 opened 5 years ago by Atalay-Ileri
  1

• Need a tactic to extract lifted propositions from a hypothesis.

  #1 opened 5 years ago by Atalay-Ileri
  2