Change of Name: Coq –> The Rocq Prover

• ceps

  2 43 0.6

  Coq Enhancement Proposals

  

• critter

  1 11 10.0 Common Lisp

  Simple iterators in common lisp

Reminds me of a time when i created a library to work with iterators in lisp, inadvertently naming it cl-iterators[0], as far as the naming convention of common lisp libraries went at that time. Some folks(including me!) on reddit had lots of fun with the unfortunate name.

[0] https://github.com/ykm/critter

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• coq

  87 4,602 10.0 OCaml

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  

The page summarizing the considered new names and their pros/cons is interesting: https://github.com/coq/coq/wiki/Alternative-names

Naming is hard...

Suggest a related project