如何在Coq中证明（forall x，P x / \ Q x）->（forall x，P x）？尝试了几个小时，无法弄清楚如何将前项分解为Coq可以消化的内容。（显然，我是新手：）
proof coq
是否有任何Backbone.js插件可以执行"form_for"为Rails做什么？例如,我提供了一个模型,它提供了一个用于构建表单的DSL？
forms ruby-on-rails backbone.js
我知道RSpec有--profile选项,但我只是将MiniTest/shoulda用于我当前的项目.
ruby-on-rails shoulda minitest
ruby-on-rails ×2
backbone.js ×1
coq ×1
forms ×1
minitest ×1
proof ×1
shoulda ×1