Binary installer links on the TLAPS website are broken

tlaplus / tlapm

The TLA Proof Manager

https://proofs.tlapl.us/

BSD 2-Clause "Simplified" License

65 stars 20 forks source link

Closed uguryavuz closed 5 months ago

uguryavuz commented 6 months ago

The binary installer links on the TLAPS website for Windows, Linux and macOS are all broken at the moment.