|
|
|
|
|
|
by humzashahid98
772 days ago
|
|
|
I thought to myself a rename to FACT Prover (Formerly known As Coq Theorem Prover) would be nice when seeing they wanted to rename the project and it's a bit of a disappointment that didn't quite pan out. Rocq is similar to the Roc programming language which is confusing naming (and they sound identical as far as I know). |
|
|