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