GitHub repository: namanbharadwaj/sia-lean
Primary language: Lean
Created: 2017-10-13T01:34:37Z
Description: Smooth Infinitesimal Analysis in the Lean Theorem Prover