💧 Liquid Tensor Experiment
Why do you think that https://github.com/ImperialCollegeLondon/natural_number_game is a good alternative to lean-liquid
💧 Liquid Tensor Experiment
Why do you think that https://github.com/ImperialCollegeLondon/natural_number_game is a good alternative to lean-liquid