search

GillianPlatform / Gillian

The Gillian Platform main repository
https://GillianPlatform.github.io
BSD 3-Clause "New" or "Revised" License
77 stars 12 forks source link

Add show/hide button for ExecMap/UnifyMap expansions #176

Closed NatKarmios closed 1 year ago