rmtld3synth web demonstrator
Type a command
./rmtld3synth --synth-ocaml --input-latexeq "(a \rightarrow ((a \lor b) \until_{<10} c)) \land \int^{10} c < 4" --verbose 2
Please see the results
Your browser does not seem to support Webworkers. Try Firefox, Chrome or IE10+.