Hi,

Having 2544 issues is probably a bad sign.
I find this many issues here:

https://github.com/rocq-prover/rocq/issues

Mostlikely 90% of the issues can be move to
the new discussion feature of GitHub.

LoL

Bye

P.S.: Same holds for Scryer Prolog with 406 issues.

Mild Shock schrieb:

Hi,

Maybe AGI should take over proving.
Just take the humans out of the loop
of any programming, it leads to nowhere.

Bye

Julio Di Egidio schrieb:

But we must thank MS for the nail in that coffin, too: they can't
be satisfied with just a Lean broken by design, they must own the
whole compartment: only poisoned meatballs for the public...

-Julio

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)