欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
OpenVIP
来自开放百科 - 灰狐
OpenVIP: 易用的图形化界面,基于时间线的编辑模式,为视频增加滤镜和过渡效果。
Links
分享您的观点
欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
OpenVIP: 易用的图形化界面,基于时间线的编辑模式,为视频增加滤镜和过渡效果。