Coq

198posts

128followers

Login and follow tags to see the latest information.

Trend

Like ranking last week

@nekonibox(Kenta Inoue)

2025-12-03

d次元超直方体上のパズルをCoq/SSReflectで形式検証する(2025年TPPmarkの解答)

2025-08-11

TAPLの3章の問題をRocq(Coq)で形式化

Articles Questions Stock Lists

User Rankings

Weekly

Monthly

Yearly

Organizations ranking

Monthly

All