Blueprint workload

This page lists the specifications that tapaal-ltl is expected to work on, or is its creator.

tapaal-ltl is not currently responsible for any specifications that meet your criteria.

Team member workload

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

Asger Gitz-Johansen has no outstanding specifications.

Jiri Srba has no outstanding specifications.

Nikolaj Jensen Ulrik has no outstanding specifications.

Peter Gjøl Jensen has no outstanding specifications.

Simon Virenfeldt has no outstanding specifications.