Aleks Kissinger

Latest

• TensorRocq: Enabling Diagrammatic Reasoning in Rocq