search

tlaplus / tlapm_alternative_parser_experiment

The rewrite of TLAPM, the TLAPS proof manager
Other
0 stars 0 forks source link

Tla nunchaku #3

Closed quicquid closed 8 years ago

quicquid commented 8 years ago

The pull request adds the nunchaku backend to the pm. Thanks @ML44 !