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