4 ms·What do you think of embedding it in a formal system like Lean as a frontend?by yuppiemephisto 1y agoWhat do you think of embedding it in a formal system like Lean as a frontend?