search

lmntal / slim

slim LMNtal implementation
Other
18 stars 5 forks source link

fix: initial state iso-check #318

Closed seelx3 closed 9 months ago

seelx3 commented 9 months ago

close #315

before after