liquid tensor experiment

IMAGES

1. Beyond the Liquid Tensor Experiment, "the formalisation of a proof of a complex theorem about

   

2. Beyond the Liquid Tensor Experiment, "the formalisation of a proof of a complex theorem about

   

3. Here is the announcement! Completion of the Liquid Tensor Experiment https://leanprover

   

4. Liquid Tension Experiment 2

   

5. Liquid tensor experiment

   

6. 5D tensor experiment comparison