Top Questions

1. coq proof : tactic absurd, how does it works?
   4 votes

   1 answers
2. Add constraint to ensure a common parent of two foreign key
   3 votes

   2 answers