Remix clone Hacker News
new
|
show
|
ask
|
jobs
Github
▲
xiaoyu2006
3 hours ago
Hi! I'd like to know how bend2 differs from Hoare logic or Lean?
