Tristan Stérin

Hi @jonthemango , the python RE module is, as far as theory is concerned, a bit a pain in the a**. Indeed it is useful for very practical cases but...

I definitely still have an interest! Very few automata library are bothered with this feature which is so important from a theoretical perspective. I would be able to implement this...

I have the bug too :'( it is quite annoying. For me the bug happens quite randomly: after some period of time my bitwarden on all my computers that use...

Hello! I toggled the option on the latest version of VsCoq using vscode 1.89.0 on a MacBook Pro M3 Max with Sonoma 14.2.1 But I get: "[Error - 21:10:07] Request...

https://boxy-svg.com/ is a nice example of this (you need to register to experience it)

I created a doublon of that feature request, let me paste my message here instead: A useful feature when working both from the source json .sc and the interface would...

Service is back up. This was not a CORS error, something much more drastic: the service was down. My server was rebooted 17 days ago and I was not aware....

The service is functional and running. I believe this is an issue with your network cache. Please change browser or deactivate the network cache as per screenshot attached ![Screenshot from...

I get the exact same issue on MacBook Pro M3 Max 36 Go with Sonoma 14.2.1 :( Verification gets stuck 2/3 of the way, then Macos says to eject the...