プランカルキュールの処理系はツーゼの死後5年たった2000年、ベルリン自由大学のチームが初めて実装した.
ツーゼの