28 Jul
2022
28 Jul
'22
8:53 a.m.
Hello, I think it makes sense to have a separate team for LoAT, since it's developed independently of AProVE, and I also worked on it quite a lot when I wasn't affiliated with the RWTH Aachen. True, it's currently hosted on the same GitHub account as AProVE, but that doesn't mean anything -- I could fork it and continue the development elsewhere anytime... Best Florian On 7/27/22 18:05, Johannes Waldmann wrote:
definition of teams ...
Loat is "Team Aprove"? It's right there in the name:
https://aprove-developers.github.io/LoAT/ _______________________________________________ Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de