3 ms·

Does it work with more obscure languages like Lean 4?

• anticensor 2y ago
  It can work with any language, as it interacts with the VM and can read compiler messages.