Keegan Perry's repositories
Language:Lua000
katydid-proofs
Proofs written in Lean4 for the core katydid validation algorithm
Language:LeanApache-2.0000
mathlib4
The math library of Lean 4
Language:LeanApache-2.0000
symbolic-automatic-derivatives
Symbolic and Automatic Differentiation of Languages in Lean
Language:LeanApache-2.0000