nowfound

Launches for “alternative to typescript as a proof assistant for intuitionistic propositional logic”

400,011 launches indexed

Try: · · · · ·