Coq Forum

Forum Jar : Coq Forum

Welcome to Coq Forum

Thank you for using Forum Jar. Due to a growing number of inappropriate messages on our forums, it has gotten to the point where we are unable to moderate our website properly. For that reason, Forum Jar will be closed indefinitely until we find a better way to moderate our forums. If you want to meet new people online, please visit our dating site at 111dating.com.

Other Forums
• Computer science Forum
• Proof assistant Forum
• Mathematics Forum
• Constructive proof Forum
• Calculus of inductive constructions Forum
• Calculus of constructions Forum
• Theorem prover Forum
• France Forum
• INRIA Forum
• École Polytechnique Forum
• Paris-Sud 11 University Forum
• CNRS Forum
• École Normale Supérieure de Lyon Forum
• Objective Caml Forum
• Rooster Forum
• French language Forum
• Gérard Huet Forum
• Microsoft Research Forum
• Cambridge Forum
• England Forum
• Four color theorem Forum
• September 2004 Forum
• CeCill-B Forum
• Curry-Howard Forum
• Intuitionistic type theory Forum