|
|
|
|
|
|
by ashitlerferad
3660 days ago
|
|
|
Thanks for that. Looks like only SPARK is available in the operating system that I use. That is one big problem with research software and software research, it is often disconnected from the programmer community. BTW, what do you think of this tool? https://github.com/TrustInSoft/tis-interpreter |
|
|