search

lmntal / slim

slim LMNtal implementation
Other
18 stars 5 forks source link

Add CMake support #311

Closed QRWells closed 5 months ago

QRWells commented 1 year ago

Resolves #310