search

Barnard-PL-Labs / tsltools

Library and tools for the TSL specification format
Other
7 stars 4 forks source link

Finished `tslmt2tsl`. #44

Closed wonhyukchoi closed 2 years ago

wonhyukchoi commented 2 years ago

tslmt2tsl

Finished the tool! This replaces TeMoS by integrating it into tsltools, and enhances it with readability and extensibility.

Please refer to the documentation on how to use the tool.