search

GillianPlatform / Gillian

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

Gillian c things for thesis #289

Closed giltho closed 3 months ago

giltho commented 4 months ago

Vague improvements