search

lmntal / slim

slim LMNtal implementation
Other
18 stars 5 forks source link

cslmntal の check #288

Open sano-jin opened 2 years ago

sano-jin commented 2 years ago

cslmntal の例題をテストケースに追加する．