我正在使用Django制作一个带有视频“和”视频列表“表的应用程序,就像YouTube一样。
现在,我正在制作一个" video“和"Course(this is A Video list)”表。我想添加一个视频到一些不同的列表和搜索列表和视频,所以让课程表有ManyToMany字段链接到视频表。
但在这种情况下,我在列表中对视频的排序有一些困难。要按我注册的顺序显示视频并随时修复它们,ManyToMany字段在注册时必须有类似"id“的内容,对吧?
我是Python和Django的初学者,所以可能有一些典型的方法……有什么好办法解决这个问题吗?
我是Coq的初学者,正在学习如何用视频编写代码。
我根据那段视频做了一个程序(一段视频从大约29分钟开始),但它没有像我预期的那样运行。你能告诉我为什么会这样吗?我总是被卡住以防万一。
我制作的程序如下所示:
Theorem shugouonajidesho :
forall P Q : Prop,
P/\Q->Q/\P.
Proof.
intros P Q H. split.
Case "Q".
inversion H as [HP HQ]. imply HQ.
Case "P". inversion H as {HP