You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Would it be possible to add some engineering-related examples? Right now, it looks like all the specs are about math problems. I saw you mentioned UML — maybe you could try doing a UML project and write the specs in Lean?
Would it be possible to add some engineering-related examples? Right now, it looks like all the specs are about math problems. I saw you mentioned UML — maybe you could try doing a UML project and write the specs in Lean?