Skip to content
#

heaviside-functions

Star

Here are 2 public repositories matching this topic...

Language: All
Filter by language
All 2 C++ 1 Lean 1

AEjonanonymous / Whittaker-Zero-Invariant

Star 1

Formal Verification of Whittaker-Type Zero-Invariant Fields and Receiver Symmetry Breaking in Lean 4 and SystemVerilog.

asic fpga mathematics lean systemverilog icarus-verilog formal-verification electrodynamics formal-mathematics symmetry-breaking mathlib electromagnetic-wave maxwell-equations lean4 rtl-design-and-verification computational-research ai-assisted-research heaviside-functions zero-invariant-fields whittaker-potentials
  • Updated Aug 29, 2026
  • Lean

Add this topic to your repo

To associate your repository with the heaviside-functions topic, visit your repo's landing page and select "manage topics."

Learn more