| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| research/formal-methods.md | ||
| research/index.md | ||
| research/kminteract.md | ||
| research/semantization.md | ||
| research/structural-semantics.md | ||
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| research/formal-methods.md | ||
| research/index.md | ||
| research/kminteract.md | ||
| research/semantization.md | ||
| research/structural-semantics.md | ||