Remix clone Hacker News
new
|
show
|
ask
|
jobs
Github
▲
ngruhn
3 days ago
Many use Z3 for type checking like F*, Liquid Haskell, Dafny.
