The idea would be to do something like the Duper tutorial based on lean4web. The main challenge is that our installation has a few prerequisites, mainly Rust/Cargo to enable pre_dcp, and MOSEK.
This can only be done properly after we solve #35 (ECOS) since MOSEK requires a license.
The idea would be to do something like the Duper tutorial based on lean4web. The main challenge is that our installation has a few prerequisites, mainly Rust/Cargo to enable
pre_dcp, and MOSEK.This can only be done properly after we solve #35 (ECOS) since MOSEK requires a license.