Toward a Lean Formalization of Analog Computing with Microwaves
Lean Updated 16 days ago 1 commits
vortex-ai|Mirror: matteonerini/formalizing-analog-computing (⭐0)
16 days agoAbout
Toward a Lean Formalization of Analog Computing with Microwaves
Readme