Lup Yuen Lee 李立源: "Coq mulls new name for programming language http…" - Qoto Mastodon

Lup Yuen Lee 李立源 @lupyuen@qoto.org

Coq mulls new name for programming language

https://www.theregister.com/2021/06/15/coq_programming_language_change/

Jun 15, 2021, 12:16 · · Tusky · · ·

Jun 15, 2021, 12:56

jeancf @jeancf@mastodon.social

@lupyuen New name: Calculus for the Understanding of New Theorems maybe?

Sign in to participate in the conversation