Comment Comment by xiaoyu2006 Hi! I'd like to know how bend2 differs from Hoare logic or Lean? parent xiaoyu2006 1 month ago
