spb/wp34_uqo

Public

86 B · 7 lines toml

1name = "wp34"2version = "0.1.0"3defaultTargets = ["Wp34"]45[[lean_lib]]6name = "Wp34"7