search

runtimeverification / pyk

Python tools for the K Framework
BSD 3-Clause "New" or "Revised" License
13 stars 2 forks source link

Add method `map_sentences` to `KFlatModule` #1036

Closed tothtamas28 closed 5 months ago