toc-the-younger/miri 0

An interpreter for Rust's mid-level intermediate representation

issue openedImperialCollegeLondon/natural_number_game

Add ability to toggle between rendered view and literal lean

In my case I have looked up actual lean files elsewhere, but it would be nice while learning if each problem/solution could be viewed as a lean source file which could literally be run in an interpreter with the relevant imports and color text as comments. Perhaps a toggle back and forth?

created time in 2 months