The following pages link to Liquid Tensor Experiment (Q5094470):
Displaying 4 items.
- Abstraction boundaries and spec driven development in pure mathematics (Q6130524) (← links)
- Mathematical reasoning and the computer (Q6536119) (← links)
- Poincaré on the value of reasoning machines (Q6554712) (← links)
- An experiment of a formal proof of an intermediate-level theorem in algebra (Q6561744) (← links)