欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
ACTLab TV
来自开放百科 - 灰狐
ACTLab TV: an effort to bring the opensource and independent media communities together! The technological experience offered by ACTLab TV is truly ground breaking.
ACTLab TV is based on three open source technologies developed by the Foundation for Decentralization Research:
- Alluvium Core
- Alluvium Media Player
- Alluvium Media Server
分享您的观点
