Realizing this is getting out of hand, Coq mulls new name for programming language • The Register - discu.eu

Hacker News

Coq mulls new name for programming language https://www.theregister.com/2021/06/15/coq_programming_language_change/ 126 comments 15/6/2021

Reddit

Realizing this is getting out of hand, Coq mulls new name for programming language https://www.theregister.com/2021/06/15/coq_programming_language_change/ 115 comments 17/6/2021 programming

Linking pages

Formally Verifying Rust's Opaque Types | dylanj.xyz https://dylanj.xyz/posts/rust-coq-opaque-types/ 66 comments

Related searches:

Search whole site: site:www.theregister.com

Search title: Realizing this is getting out of hand, Coq mulls new name for programming language • The Register

See how to search.

Submit link to: