Alternatives

Products that do what TypeScript as a proof assistant for intuitionistic propositional logic does

1. Not indexed yet — check back in a few minutes.

Ranked by how close each launch is in meaning, then by votes. Refine with a description →