Recfactor and document `Symbolic` and `Concrete` - Githubissues

GillianPlatform / Gillian

The Gillian Platform main repository

https://GillianPlatform.github.io

BSD 3-Clause "New" or "Revised" License

78 stars 12 forks source link

Recfactor and document `Symbolic` and `Concrete` #226

Closed NatKarmios closed 1 year ago

NatKarmios commented 1 year ago

Contributes to https://github.com/GillianPlatform/Gillian/issues/199