search

tlaplus / tlapm

The TLA Proof Manager
https://proofs.tlapl.us/
BSD 2-Clause "Simplified" License
67 stars 20 forks source link

Added Arch Linux instructions to INSTALL.md #126

Closed ahelwer closed 7 months ago

ahelwer commented 7 months ago

Also added missing general dependency: Dune