欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
MQL5 编程语言
MetaQuotes Language 5 (MQL5)是一种类似C++的专门的高水平面向对象编程语言。全部MetaTrader 5交易应用程序都是用MQL5编写。
MetaEditor
后台功能
