Blueprint workload

This page lists the specifications that Simple Theorem Prover is expected to work on, or is its creator.

Simple Theorem Prover is not currently responsible for any specifications that meet your criteria.

Team member workload

The following people are all members of the Simple Theorem Prover team in Launchpad. We list each of their specification workloads so that you can get a sense of the overall workload balance.

delcypher has no outstanding specifications.

Mate Soos has no outstanding specifications.