欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
VLC
来自开放百科 - 灰狐
VLC 是可移植的开放源代码的媒体播放器
支持的音频、视频格式有:
- MPEG-1
- MPEG-2
- MPEG-4
- DivX
- mp3
- ogg
相关链接
精彩图集
分享您的观点