GitHub repository: roos-j/lean-oscillatory
Primary language: Lean
Created: 2025-05-14T13:36:58Z
Description: Formalization of oscillatory integral theory in Lean 4