ssreflect

71posts

12followers

Login and follow tags to see the latest information.

Trend

Like ranking last week

@nekonibox(Kenta Inoue)

2021-12-17

株式の取引と売買価格を決定する板寄せアルゴリズムをCoq/SSReflectで形式検証する

Articles Questions

User Rankings

Weekly

Monthly

Yearly

Organizations ranking

Monthly

All