Tag Archives: Coq

傑出學者系列講座: Coq, a Proof Assistant Based On Type Theory

中研院資科所傑出學者系列講座:Coq, a Proof Assistant Based On Type Theory.

Posted in 活動消息 | Also tagged , | Leave a comment

1st Asian-Pacific Summer School on Formal Methods

今年在北京將舉辦第一屆的「亞太正規方法研習營」。

Posted in 活動消息 | Also tagged | Leave a comment