Pinned Loading

1. quantum-system quantum-system Public

   Formalize operator-algebraic aspects of quantum systems with Lean and AI.

   Lean

2. hopfield-mnist hopfield-mnist Public

   Hopfield network for MNIST

   Python 24 1

3. coordinate-helpers coordinate-helpers Public

   gridHelper / axesHelper example in react-babylonjs

   TypeScript 3