issues
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
Merge Kanillian
#264
Closed
NatKarmios
closed
11 months ago
NatKarmios
commented
11 months ago
To do:
[x] Make a small test suite
[x] Consider LICENSE; much of Kanillian code belongs to Amazon
To do: