Something is over-approx for some reason... - Githubissues

GillianPlatform / Gillian

The Gillian Platform main repository

https://GillianPlatform.github.io

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

73 stars 11 forks source link

Something is over-approx for some reason... #301

Open giltho opened 2 months ago