GitHub repository: katydid/symbolic-automatic-derivatives
Primary language: Lean
Created: 2024-08-28T12:51:37Z
Description: Symbolic and Automatic Differentiation of Languages in Lean