All issues

Search results

TLA+ Monthly Dev Update: Semi-Automated Blog Post

enhancementNew feature or requestNew feature or request

Status: Open.

#41 In tlaplus/foundation;

· FedericoPonzi opened on Apr 16, 2026

Make the website appear current and up-to-date

Status: Open.

#37 In tlaplus/foundation;

· lemmy opened on Oct 17, 2025

Collect a list of potential foundation members

Status: Open.

#2 In tlaplus/foundation;

· lemmy opened on Oct 12, 2021