Trureturing Visualize

Interactive visualizations of trureturing theory · animation changes the view; truth rests on the Lean kernel The relations in the theory, as objects you can operate

Description read from the page itself, because the listing it was found in gave none.