欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Shotcut
来自开放百科 - 灰狐
（版本间的差异）
(以“Shotcut：一个自由、开源、跨平台的视频编辑器 ==简介== 这是一款免费、开源（GPLv3）、跨平台（Qt）的视频编辑器。 ==功能==...”为内容创建页面) |
2020年10月8日 (四) 09:08的版本
Shotcut：一个自由、开源、跨平台的视频编辑器
目录 |
简介
这是一款免费、开源（GPLv3）、跨平台（Qt）的视频编辑器。
功能
指南
图集
ubuntu 18.04
链接
分享您的观点
