TorchLean

Software / App

A unified framework for writing and verifying neural networks in Lean.

Mentioned in 1 video