Open kvnptl opened 3 years ago
As I can see there is no update on this package since 2018. So, I am wondering whether the godel package is still working fine as shown in the GIF demo file.
As I can see there is no update on this package since 2018. So, I am wondering whether the godel package is still working fine as shown in the GIF demo file.