t_wの輪郭

https://coq.inria.fr/
形式証明管理機構Coqが提供する形式言語。

「言語」じゃないかも？