nowfound

Launches for “alternative to lean4 proof that ssot requires definition-time hooks and introspection”

483,468 launches indexed

Try: · ·

Alternative to lean4 proof that ssot requires…